@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0002540>
  skos:prefLabel "نظریه مجموعه‌های اکسترمال"@fa, "extremal set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0002538> .

<http://www.irandoc.acir/onto/irandoc/math0002539>
  skos:prefLabel "قضیه میرسکای"@fa, "mirsky theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002538> .

<http://www.irandoc.acir/onto/irandoc/mathpro2123> skos:related <http://www.irandoc.acir/onto/irandoc/math0002538> .
<http://www.irandoc.acir/onto/irandoc/math0007464>
  skos:prefLabel "پادزنجیر"@fa, "antichain"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002538> .

<http://www.irandoc.acir/onto/irandoc/mathpro221> skos:related <http://www.irandoc.acir/onto/irandoc/math0002538> .
<http://www.irandoc.acir/onto/irandoc/math0003332>
  skos:prefLabel "قضیه کونیگ-اگروری"@fa, "konig-egervary theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002538> .

<http://www.irandoc.acir/onto/irandoc/math0002538>
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "dilworth theorem"@en, "قضیه دیلورث"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003332>, <http://www.irandoc.acir/onto/irandoc/math0003335>, <http://www.irandoc.acir/onto/irandoc/math0002621>, <http://www.irandoc.acir/onto/irandoc/math0002539>, <http://www.irandoc.acir/onto/irandoc/math0007464> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0002540> ;
  skos:scopeNote "اگر p یک مجموعه جزئا مرتب باشد، مینیمم تعداد زنجیر های مجزا که شامل همه عناصر p هستند برابر ماکسیمم تعداد اعضای پادزنجیر p است."@fa .

<http://www.irandoc.acir/onto/irandoc/math0003335>
  skos:prefLabel "قضیه هال"@fa, "hall theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002538> .

<http://www.irandoc.acir/onto/irandoc/math0002621>
  skos:prefLabel "دستگاه نمایندگی متمایز"@fa, "system distinct representatives"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002538> .