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

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

<http://www.irandoc.acir/onto/irandoc/mathpro201> skos:related <http://www.irandoc.acir/onto/irandoc/math0007499> .
<http://www.irandoc.acir/onto/irandoc/math0007495>
  skos:prefLabel "حساب اعداد ترتیبی"@fa, "ordinal arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007494>
  skos:prefLabel "حاصل‌ضرب ترتیبی"@fa, "ordinal product"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007493>
  skos:prefLabel "حاصل‌ضرب اوردینال‌ها"@fa, "ordinals product"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007499>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007490>, <http://www.irandoc.acir/onto/irandoc/math0007492>, <http://www.irandoc.acir/onto/irandoc/math0007498>, <http://www.irandoc.acir/onto/irandoc/math0007495>, <http://www.irandoc.acir/onto/irandoc/math0007488>, <http://www.irandoc.acir/onto/irandoc/math0007497>, <http://www.irandoc.acir/onto/irandoc/math0007494>, <http://www.irandoc.acir/onto/irandoc/math0007491>, <http://www.irandoc.acir/onto/irandoc/math0007487>, <http://www.irandoc.acir/onto/irandoc/math0007496>, <http://www.irandoc.acir/onto/irandoc/math0007493> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "ترتیبی"@fa, "ordinal"@en ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007463>, <http://www.irandoc.acir/onto/irandoc/math0007505>, <http://www.irandoc.acir/onto/irandoc/math0007420>, <http://www.irandoc.acir/onto/irandoc/math0007443> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007500> ;
  skos:altLabel "", "اوردینال"@fa .

<http://www.irandoc.acir/onto/irandoc/math0007492>
  skos:prefLabel "حاصل جمع ترتیبی"@fa, "ordinal sum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007498>
  skos:prefLabel "قضیه فرم نرمال"@fa, "normal form theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007420>
  skos:prefLabel "اصلی"@fa, "cardinal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007500>
  skos:prefLabel "مجموعه تراگذر"@fa, "transitive set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007488>
  skos:prefLabel "اوردینال تالی"@fa, "successor ordinal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007463>
  skos:prefLabel "مجموعه اندیس"@fa, "index set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007491>
  skos:prefLabel "حاصل جمع اوردینال‌ها"@fa, "ordinals sum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007497>
  skos:prefLabel "عدد ترتیبی حدی"@fa, "limit ordinal number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007505>
  skos:prefLabel "مجموعه ناشمارا"@fa, "uncountable set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007487>
  skos:prefLabel "اندازه گیری رتبه‌ای"@fa, "ordinal measurement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007496>
  skos:prefLabel "عدد ترتیبی"@fa, "ordinal number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .

<http://www.irandoc.acir/onto/irandoc/math0007490>
  skos:prefLabel "بخش آغازین"@fa, "initial segment"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007499> .