形式属

考虑形式 ，对于这些形式，广义特征标 等于预先指定的一系列符号 或 ，

受限于 。存在 种可能的数组，其中 是域判别式 的不同素因子数，并且对应于每个数组的形式集合被称为形式的属。所有 的形式被称为形式的主属，并且每个属也是适当 等价类 的集合 (Cohn 1980, pp. 223-224)。