形式屬

考慮形式 ，對於這些形式，廣義特徵標 等於預先指定的一系列符號 或 ，

受限於 。存在 種可能的陣列，其中 是域判別式 的不同素因子數，並且對應於每個陣列的形式集合被稱為形式的屬。所有 的形式被稱為形式的主屬，並且每個屬也是適當 等價類 的集合 (Cohn 1980, pp. 223-224)。