قضیه فرم نرمال
type: Concept
broader: ترتیبی
preferred label: normal form theorem @en

ترتیبی
type: Concept
narrower: قضیه فرم نرمال
preferred label: ordinal @en