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

<http://www.irandoc.acir/onto/irandoc/math0007300>
  skos:prefLabel "قضیه فشردگی"@fa, "compactness theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro405> skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .
<http://www.irandoc.acir/onto/irandoc/mathpro1504> skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .
<http://www.irandoc.acir/onto/irandoc/math0007645>
  skos:prefLabel "قضیه تارسکی-وات"@fa, "tarski-vaught theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

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

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

<http://www.irandoc.acir/onto/irandoc/math0007573>
  skos:prefLabel "substructure"@en, "زیرساخت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

<http://www.irandoc.acir/onto/irandoc/math0004318>
  skos:prefLabel "زیرحلقه"@fa, "subring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

<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/math0007453> .

<http://www.irandoc.acir/onto/irandoc/math0004733>
  skos:prefLabel "زیرفضای پدید آمده"@fa, "spaned subspace"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

<http://www.irandoc.acir/onto/irandoc/math0004739>
  skos:prefLabel "زیرفضا"@fa, "subspace"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

<http://www.irandoc.acir/onto/irandoc/math0004956>
  skos:prefLabel "نگاشت شمول"@fa, "inclusion map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

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

<http://www.irandoc.acir/onto/irandoc/math0002429>
  skos:prefLabel "نظریه دوگانی"@fa, "duality theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

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

<http://www.irandoc.acir/onto/irandoc/math0007571>
  skos:prefLabel "زیرساخت مقدماتی"@fa, "elementary substructure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

<http://www.irandoc.acir/onto/irandoc/math0007453>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007571>, <http://www.irandoc.acir/onto/irandoc/math0004956>, <http://www.irandoc.acir/onto/irandoc/math0007456>, <http://www.irandoc.acir/onto/irandoc/math0004318>, <http://www.irandoc.acir/onto/irandoc/math0009167>, <http://www.irandoc.acir/onto/irandoc/math0007668>, <http://www.irandoc.acir/onto/irandoc/math0007573>, <http://www.irandoc.acir/onto/irandoc/math0002429>, <http://www.irandoc.acir/onto/irandoc/math0007645>, <http://www.irandoc.acir/onto/irandoc/math0007300>, <http://www.irandoc.acir/onto/irandoc/math0007654>, <http://www.irandoc.acir/onto/irandoc/math0007505>, <http://www.irandoc.acir/onto/irandoc/math0004739>, <http://www.irandoc.acir/onto/irandoc/math0001741>, <http://www.irandoc.acir/onto/irandoc/math0004733> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3281> ;
  skos:altLabel "", "مجموعک"@fa ;
  skos:prefLabel "subset"@en, "زیرمجموعه"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007452> .

<http://www.irandoc.acir/onto/irandoc/math0009167>
  skos:prefLabel "زیرمیدان"@fa, "subfield"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .

<http://www.irandoc.acir/onto/irandoc/mathpro1515> skos:related <http://www.irandoc.acir/onto/irandoc/math0007453> .
<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/math0007453> .