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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007521>
  skos:prefLabel "مجموعه ایستا"@fa, "stationary set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0003787>
  skos:prefLabel "مجموعه چگال"@fa, "dense set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0001129>
  skos:prefLabel "barrelled set"@en, "مجموعه چلیکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0001177>
  skos:prefLabel "closed range theorem"@en, "قضیه برد بسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0003776>
  skos:prefLabel "Urysohn lemma"@en, "لم اوریسون"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0003897>
  skos:prefLabel "continuous mapping"@en, "نگاشت پیوسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0003796>
  skos:prefLabel "topological space"@en, "فضای توپولوژیک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0003785>
  skos:prefLabel "closed set"@en, "مجموعه بسته"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007708>, <http://www.irandoc.acir/onto/irandoc/MAT0007521>, <http://www.irandoc.acir/onto/irandoc/MAT0007519>, <http://www.irandoc.acir/onto/irandoc/MAT0003897>, <http://www.irandoc.acir/onto/irandoc/MAT0001177>, <http://www.irandoc.acir/onto/irandoc/MAT0003776>, <http://www.irandoc.acir/onto/irandoc/MAT0003735>, <http://www.irandoc.acir/onto/irandoc/MAT0001129>, <http://www.irandoc.acir/onto/irandoc/MAT0003787>, <http://www.irandoc.acir/onto/irandoc/MAT0003779> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003796>, <http://www.irandoc.acir/onto/irandoc/MAT0007527> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007525> .

<http://www.irandoc.acir/onto/irandoc/MAT0003779>
  skos:prefLabel "مولفه‌های همبندی"@fa, "connected components"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0007525>
  skos:prefLabel "closed unbounded set"@en, "مجموعه بیکران بسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0003735>
  skos:prefLabel "Heine-Borel theorem"@en, "قضیه هاینه-بورل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .

<http://www.irandoc.acir/onto/irandoc/MAT0007519>
  skos:prefLabel "پالایه"@fa, "filter"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003785> .