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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007453>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0004956>, <http://www.irandoc.acir/onto/irandoc/MAT0002402>, <http://www.irandoc.acir/onto/irandoc/MAT0007668>, <http://www.irandoc.acir/onto/irandoc/MAT0007571>, <http://www.irandoc.acir/onto/irandoc/MAT0004739>, <http://www.irandoc.acir/onto/irandoc/MAT0007505>, <http://www.irandoc.acir/onto/irandoc/MAT0007456>, <http://www.irandoc.acir/onto/irandoc/MAT0007300>, <http://www.irandoc.acir/onto/irandoc/MAT0007654>, <http://www.irandoc.acir/onto/irandoc/MAT0002429>, <http://www.irandoc.acir/onto/irandoc/MAT0004492>, <http://www.irandoc.acir/onto/irandoc/MAT0001741>, <http://www.irandoc.acir/onto/irandoc/MAT0007573>, <http://www.irandoc.acir/onto/irandoc/MAT0004733>, <http://www.irandoc.acir/onto/irandoc/MAT0007645>, <http://www.irandoc.acir/onto/irandoc/MAT0008909>, <http://www.irandoc.acir/onto/irandoc/MAT0003979>, <http://www.irandoc.acir/onto/irandoc/MAT0009167>, <http://www.irandoc.acir/onto/irandoc/MAT0004318> ;
  skos:prefLabel "زیرمجموعه"@fa, "subset"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> ;
  skos:altLabel "مجموعک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007452> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0008909>
  skos:prefLabel "زیرگروه"@fa, "subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007453> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0003979>
  skos:prefLabel "زنجیر"@fa, "chain"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007453> .

<http://www.irandoc.acir/onto/irandoc/MAT0007645>
  skos:prefLabel "Tarski-Vaught theorem"@en, "قضیه تارسکی-وات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007453> .

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0004492>
  skos:prefLabel "submodule"@en, "زیرمدول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007453> .

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

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

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

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

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

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