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

<http://www.irandoc.acir/onto/irandoc/math0007504>
  skos:prefLabel "مجموعه مرتب"@fa, "ordered set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007467>
  skos:prefLabel "ترتیب القاشده"@fa, "induced order"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/math0007466>
  skos:prefLabel "پوشش پایینی"@fa, "lower cover"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/mathpro3354>
  skos:prefLabel "مجموعه مرتب خطی"@fa, "linearly ordered set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/math0007484>
  skos:prefLabel "نمودار هاسه"@fa, "hasse diagram"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/math0002549>
  skos:prefLabel "جبر وقوع"@fa, "incidence algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007465>
  skos:prefLabel "پوشش بالایی"@fa, "upper cover"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/math0007440>
  skos:prefLabel "رابطه ترتیب جزئی"@fa, "partial order relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007483>
  skos:prefLabel "مشبکه"@fa, "lattice (ordered set)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/math0002548>
  skos:prefLabel "اصل وارون موبیوس"@fa, "principle of mobius inversion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<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:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/mathpro3281>
  skos:prefLabel "تنظیم"@fa, "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/math0002538>
  skos:prefLabel "قضیه دیلورث"@fa, "dilworth theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001094>
  skos:prefLabel "فضای بازتابی"@fa, "reflexive space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003669>
  skos:prefLabel "توپولوژی ترتیبی"@fa, "order topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007472>
  skos:prefLabel "مجموعه سودار"@fa, "directed set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .

<http://www.irandoc.acir/onto/irandoc/mathpro221>
  skos:scopeNote "مجموعه ای که رابطه ای جزئا مرتب (ترتیب جزئی) روی آن تعریف شده باشد."@fa ;
  skos:prefLabel "مجموعه جزئامرتب"@fa, "مجموعه‌ی تا حدی مرتب"@fa, "partially ordered set"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007465>, <http://www.irandoc.acir/onto/irandoc/math0007483>, <http://www.irandoc.acir/onto/irandoc/math0007464>, <http://www.irandoc.acir/onto/irandoc/math0007468>, <http://www.irandoc.acir/onto/irandoc/mathpro3354>, <http://www.irandoc.acir/onto/irandoc/math0007466>, <http://www.irandoc.acir/onto/irandoc/math0007484>, <http://www.irandoc.acir/onto/irandoc/math0007472>, <http://www.irandoc.acir/onto/irandoc/math0007467> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001094>, <http://www.irandoc.acir/onto/irandoc/math0002548>, <http://www.irandoc.acir/onto/irandoc/math0003669>, <http://www.irandoc.acir/onto/irandoc/math0002549>, <http://www.irandoc.acir/onto/irandoc/math0007440>, <http://www.irandoc.acir/onto/irandoc/math0002538> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007504>, <http://www.irandoc.acir/onto/irandoc/mathpro3281> .

<http://www.irandoc.acir/onto/irandoc/math0007468>
  skos:prefLabel "توسیع خطی"@fa, "linear extension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro221> .