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

<http://www.irandoc.acir/onto/irandoc/MAT0007683>
  skos:prefLabel "minimal set"@en, "مجموعه مینیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007668>
  skos:prefLabel "model complete theory"@en, "نظریه مدل کامل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007527>
  skos:prefLabel "combinatorial set theory"@en, "نظریه ترکیبیاتی مجموعه‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007455>
  skos:prefLabel "inductive set"@en, "مجموعه استقرایی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007163>
  skos:prefLabel "تعمیم"@fa, "generalization"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007421>
  skos:prefLabel "برد"@fa, "range"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007462>
  skos:prefLabel "complement set"@en, "مجموعه متمم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0008570>
  skos:prefLabel "رسته"@fa, "category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007641>
  skos:prefLabel "elementary chain"@en, "زنجیر مقدماتی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007654>
  skos:prefLabel "infinite generic model"@en, "مدل عام نامتناهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007454>
  skos:prefLabel "زیرینه"@fa, "infimum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007162>
  skos:prefLabel "definition"@en, "تعریف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0008562>
  skos:prefLabel "رسته مجموعه‌ها"@fa, "category of sets"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007574>
  skos:prefLabel "ساختار خوش ترتیب"@fa, "well ordered structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0002869>
  skos:prefLabel "vertex"@en, "راس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007461>
  skos:prefLabel "مجموعه شمارا"@fa, "countable set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007587>
  skos:prefLabel "extension of structure"@en, "توسیع ساختار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0008106>
  skos:prefLabel "افراز"@fa, "partition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007453>
  skos:prefLabel "زیرمجموعه"@fa, "subset"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007711>
  skos:prefLabel "zilber Conjecture"@en, "حدس زیلبر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0009059>
  skos:prefLabel "group"@en, "گروه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0006604>
  skos:prefLabel "Schauder first fixed point theorem"@en, "اولین قضیه نقطه ثابت شاودر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT000231>
  skos:prefLabel "counting measure"@en, "اندازه شمارشی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007716>
  skos:prefLabel "strongly minimal set"@en, "مجموعه قوی‌مینیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007672>
  skos:prefLabel "ساختار"@fa, "structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0008573>
  skos:prefLabel "نظریه رسته"@fa, "category theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007710>
  skos:prefLabel "modular pregeometry"@en, "پیش هندسه مدولی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007698>
  skos:prefLabel "canonical base"@en, "پایه متعارف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007723>
  skos:prefLabel "classification theory"@en, "نظریه رده‌بندی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0004320>
  skos:prefLabel "ring"@en, "حلقه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007403>
  skos:prefLabel "class"@en, "رده"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007529>
  skos:prefLabel "finite intersection property"@en, "ویژگی اشتراک متناهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007708>
  skos:prefLabel "trivial pregeometry"@en, "پیش هندسه بدیهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0004374>
  skos:prefLabel "chain conditions"@en, "شرایط زنجیری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007457>
  skos:prefLabel "categorical set"@en, "مجموعه جازم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0006158>
  skos:prefLabel "شیمی فیزیک"@fa, "physical chemistry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007398>
  skos:prefLabel "axioms of set theory"@en, "اصول موضوع نظریه مجموعه‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007451>
  skos:prefLabel "زبرینه"@fa, "supremum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0008908>
  skos:prefLabel "نرمال‌ساز"@fa, "normalizer"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0001741>
  skos:prefLabel "element"@en, "عنصر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007530>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008907>, <http://www.irandoc.acir/onto/irandoc/MAT0006158>, <http://www.irandoc.acir/onto/irandoc/MAT0007163>, <http://www.irandoc.acir/onto/irandoc/MAT0001741>, <http://www.irandoc.acir/onto/irandoc/MAT0007683>, <http://www.irandoc.acir/onto/irandoc/MAT0007654>, <http://www.irandoc.acir/onto/irandoc/MAT0007668>, <http://www.irandoc.acir/onto/irandoc/MAT0008843>, <http://www.irandoc.acir/onto/irandoc/MAT0006604>, <http://www.irandoc.acir/onto/irandoc/MAT0007569>, <http://www.irandoc.acir/onto/irandoc/MAT0008103>, <http://www.irandoc.acir/onto/irandoc/MAT0007398>, <http://www.irandoc.acir/onto/irandoc/MAT0007708>, <http://www.irandoc.acir/onto/irandoc/MAT0004320>, <http://www.irandoc.acir/onto/irandoc/MAT0009059>, <http://www.irandoc.acir/onto/irandoc/MAT0008562>, <http://www.irandoc.acir/onto/irandoc/MAT0007574>, <http://www.irandoc.acir/onto/irandoc/MAT0008908>, <http://www.irandoc.acir/onto/irandoc/MAT0007723>, <http://www.irandoc.acir/onto/irandoc/MAT0007587>, <http://www.irandoc.acir/onto/irandoc/MAT0004374>, <http://www.irandoc.acir/onto/irandoc/MAT000231>, <http://www.irandoc.acir/onto/irandoc/MAT0007716>, <http://www.irandoc.acir/onto/irandoc/MAT0007162>, <http://www.irandoc.acir/onto/irandoc/MAT0008573>, <http://www.irandoc.acir/onto/irandoc/MAT0004245>, <http://www.irandoc.acir/onto/irandoc/MAT0002869>, <http://www.irandoc.acir/onto/irandoc/MAT0007641>, <http://www.irandoc.acir/onto/irandoc/MAT0007402>, <http://www.irandoc.acir/onto/irandoc/MAT0007711>, <http://www.irandoc.acir/onto/irandoc/MAT0007710>, <http://www.irandoc.acir/onto/irandoc/MAT0008106>, <http://www.irandoc.acir/onto/irandoc/MAT0008570>, <http://www.irandoc.acir/onto/irandoc/MAT0007698>, <http://www.irandoc.acir/onto/irandoc/MAT0007403>, <http://www.irandoc.acir/onto/irandoc/MAT0007672> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007421>, <http://www.irandoc.acir/onto/irandoc/MAT0007454>, <http://www.irandoc.acir/onto/irandoc/MAT0007505>, <http://www.irandoc.acir/onto/irandoc/MAT0007462>, <http://www.irandoc.acir/onto/irandoc/MAT0007527>, <http://www.irandoc.acir/onto/irandoc/MAT0007428>, <http://www.irandoc.acir/onto/irandoc/MAT0007422>, <http://www.irandoc.acir/onto/irandoc/MAT0007453>, <http://www.irandoc.acir/onto/irandoc/MAT0007456>, <http://www.irandoc.acir/onto/irandoc/MAT0007455>, <http://www.irandoc.acir/onto/irandoc/MAT0007450>, <http://www.irandoc.acir/onto/irandoc/MAT0007528>, <http://www.irandoc.acir/onto/irandoc/MAT0007504>, <http://www.irandoc.acir/onto/irandoc/MAT0007457>, <http://www.irandoc.acir/onto/irandoc/MAT0007451>, <http://www.irandoc.acir/onto/irandoc/MAT0007529>, <http://www.irandoc.acir/onto/irandoc/MAT0007461>, <http://www.irandoc.acir/onto/irandoc/MAT0007420> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "مجموعه"@fa, "set"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007568> .

<http://www.irandoc.acir/onto/irandoc/MAT0007402>
  skos:prefLabel "proper class"@en, "رده سره"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0008843>
  skos:prefLabel "algebraic element"@en, "عنصر جبری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007569>
  skos:prefLabel "class of structures"@en, "رده ساختارها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007456>
  skos:prefLabel "power set"@en, "مجموعه توانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0004245>
  skos:prefLabel "maximal ideal"@en, "ایده‌آل ماکسیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0008103>
  skos:prefLabel "افراز مجموعه"@fa, "partition of set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0008907>
  skos:prefLabel "مرکزساز"@fa, "centralizer"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007422>
  skos:prefLabel "دامنه"@fa, "domain"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .