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

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