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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007503>
  skos:prefLabel "ویژگی خوش ترتیبی"@fa, "well-ordering property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007443> .

<http://www.irandoc.acir/onto/irandoc/math0007438>
  skos:prefLabel "ترتیب واژگان نگاری"@fa, "lexiographic ordering"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007443> .

<http://www.irandoc.acir/onto/irandoc/math0008803>
  skos:prefLabel "نیم‌ابر‌گروه مرتب"@fa, "ordered semi hypergroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007443> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007502>
  skos:prefLabel "نوع ترتیب"@fa, "order type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007443> .

<http://www.irandoc.acir/onto/irandoc/math0007695>
  skos:prefLabel "ویژگی استقلال"@fa, "independence property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007443> .

<http://www.irandoc.acir/onto/irandoc/math0007439>
  skos:prefLabel "حاصل‌ضرب دکارتی"@fa, "cartesian pruduct"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007443> .

<http://www.irandoc.acir/onto/irandoc/math0007428>
  skos:prefLabel "درخت) نظریه مجموعه‌ها)"@fa, "tree (set theory)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007443> .

<http://www.irandoc.acir/onto/irandoc/math0007704>
  skos:prefLabel "فرمول پایدار"@fa, "stable formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007443> .

<http://www.irandoc.acir/onto/irandoc/math0007443>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007440>, <http://www.irandoc.acir/onto/irandoc/math0007442>, <http://www.irandoc.acir/onto/irandoc/math0007439>, <http://www.irandoc.acir/onto/irandoc/math0007438>, <http://www.irandoc.acir/onto/irandoc/math0007441> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007695>, <http://www.irandoc.acir/onto/irandoc/math0007437>, <http://www.irandoc.acir/onto/irandoc/math0007502>, <http://www.irandoc.acir/onto/irandoc/math0007704>, <http://www.irandoc.acir/onto/irandoc/math0007428>, <http://www.irandoc.acir/onto/irandoc/math0007499>, <http://www.irandoc.acir/onto/irandoc/math0008803>, <http://www.irandoc.acir/onto/irandoc/math0007503> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> ;
  skos:scopeNote "هر رابطه غیر انعکاسی , غیر متقارن و ترایایی."@fa ;
  skos:prefLabel "رابطه ترتیب"@fa, "order relation"@en .

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