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

<http://www.irandoc.acir/onto/irandoc/MAT0003769>
  skos:prefLabel "metric space"@en, "فضای متری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003751> .

<http://www.irandoc.acir/onto/irandoc/MAT0003751>
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:scopeNote "فضایی است متری که در آن هر دنباله کوشی همگراست."@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003884>, <http://www.irandoc.acir/onto/irandoc/MAT0003894>, <http://www.irandoc.acir/onto/irandoc/MAT0003822>, <http://www.irandoc.acir/onto/irandoc/MAT0003715>, <http://www.irandoc.acir/onto/irandoc/MAT0003748> ;
  skos:prefLabel "فضای متری کامل"@fa, "complete metric space"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003749>, <http://www.irandoc.acir/onto/irandoc/MAT0003750> .

<http://www.irandoc.acir/onto/irandoc/MAT0003894>
  skos:prefLabel "Heine–Cantor theorem"@en, "قضیه هاینه-کانتور"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003751> .

<http://www.irandoc.acir/onto/irandoc/MAT0003748>
  skos:prefLabel "polish space"@en, "فضای لهستانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003751> .

<http://www.irandoc.acir/onto/irandoc/MAT0003822>
  skos:prefLabel "Hadamard space"@en, "فضای آدامار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003751> .

<http://www.irandoc.acir/onto/irandoc/MAT0003715>
  skos:prefLabel "Baire space"@en, "فضای بر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003751> .

<http://www.irandoc.acir/onto/irandoc/MAT0003884>
  skos:prefLabel "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/MAT0003751> .

<http://www.irandoc.acir/onto/irandoc/MAT0003750>
  skos:prefLabel "analytic set"@en, "مجموعه تحلیلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003751> .

<http://www.irandoc.acir/onto/irandoc/MAT0003749>
  skos:prefLabel "Banach contraction principle"@en, "اصل انقباض باناخ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003751> .