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

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

<http://www.irandoc.acir/onto/irandoc/MAT0001121>
  skos:prefLabel "metrization theorem"@en, "قضیه متری‌سازی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0009208>
  skos:prefLabel "متر ذاتی"@fa, "intrinsic metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0009809>
  skos:prefLabel "Cartan–Hadamard theorem"@en, "قضیه کارتان-آدامار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003739>
  skos:prefLabel "فضای کلا ناهمبند"@fa, "totally disconnected space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003767>
  skos:prefLabel "nonexpansive mapping"@en, "نگاشت غیر‌انبساطی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003742>
  skos:prefLabel "metric topology"@en, "توپولوژی متری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003649>
  skos:prefLabel "Tietze extension theorem"@en, "قضیه توسیع تیتز"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003671>
  skos:prefLabel "closed extension topology"@en, "توپولوژی توسیع بسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0009709>
  skos:prefLabel "هندسه متری"@fa, "metric geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003658>
  skos:prefLabel "Lebesgue number"@en, "عدد لبگ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003875>
  skos:prefLabel "Banach 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/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0001215>
  skos:prefLabel "Ekeland variational principle"@en, "اصل وردشی اکیلند"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003760>
  skos:prefLabel "متر"@fa, "metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003766>
  skos:prefLabel "نگاشت سازگار"@fa, "compatible map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003741>
  skos:prefLabel "Lindelof space"@en, "فضای لیندلوف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0003756>
  skos:prefLabel "Menger space"@en, "فضای منگر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003746>
  skos:prefLabel "فضای شبه متری"@fa, "quasimetric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0009707>
  skos:prefLabel "هندسه فاصله"@fa, "distance geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0001096>
  skos:prefLabel "metrizable topological vector space"@en, "فضای برداری توپولوژیک متریک‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003764>
  skos:prefLabel "نگاشت دوری"@fa, "cyclic mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003745>
  skos:prefLabel "hyperconvex space"@en, "فضای ابر‌محدب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003769>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003658>, <http://www.irandoc.acir/onto/irandoc/MAT0008054>, <http://www.irandoc.acir/onto/irandoc/MAT0009707>, <http://www.irandoc.acir/onto/irandoc/MAT0009931>, <http://www.irandoc.acir/onto/irandoc/MAT0003725>, <http://www.irandoc.acir/onto/irandoc/MAT0003875>, <http://www.irandoc.acir/onto/irandoc/MAT0003649>, <http://www.irandoc.acir/onto/irandoc/MAT0009709>, <http://www.irandoc.acir/onto/irandoc/MAT0003739>, <http://www.irandoc.acir/onto/irandoc/MAT0003741>, <http://www.irandoc.acir/onto/irandoc/MAT0009838>, <http://www.irandoc.acir/onto/irandoc/MAT0001215>, <http://www.irandoc.acir/onto/irandoc/MAT0009809>, <http://www.irandoc.acir/onto/irandoc/MAT0009708>, <http://www.irandoc.acir/onto/irandoc/MAT0001096>, <http://www.irandoc.acir/onto/irandoc/MAT0003671> ;
  skos:prefLabel "فضای متری"@fa, "metric space"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003748>, <http://www.irandoc.acir/onto/irandoc/MAT0003760>, <http://www.irandoc.acir/onto/irandoc/MAT0003764>, <http://www.irandoc.acir/onto/irandoc/MAT0003745>, <http://www.irandoc.acir/onto/irandoc/MAT0003762>, <http://www.irandoc.acir/onto/irandoc/MAT0003742>, <http://www.irandoc.acir/onto/irandoc/MAT0003768>, <http://www.irandoc.acir/onto/irandoc/MAT0003767>, <http://www.irandoc.acir/onto/irandoc/MAT0003755>, <http://www.irandoc.acir/onto/irandoc/MAT0003747>, <http://www.irandoc.acir/onto/irandoc/MAT0003744>, <http://www.irandoc.acir/onto/irandoc/MAT0001121>, <http://www.irandoc.acir/onto/irandoc/MAT0003766>, <http://www.irandoc.acir/onto/irandoc/MAT0003746>, <http://www.irandoc.acir/onto/irandoc/MAT0009208>, <http://www.irandoc.acir/onto/irandoc/MAT0003763>, <http://www.irandoc.acir/onto/irandoc/MAT0003743>, <http://www.irandoc.acir/onto/irandoc/MAT0003759>, <http://www.irandoc.acir/onto/irandoc/MAT0003751>, <http://www.irandoc.acir/onto/irandoc/MAT0003756> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003796> .

<http://www.irandoc.acir/onto/irandoc/MAT0003763>
  skos:prefLabel "نگاشت انقباضی اکید"@fa, "contractive mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0008054>
  skos:prefLabel "transcendental number theory"@en, "نظریه اعداد متعالی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003744>
  skos:prefLabel "Hausdorff distance"@en, "فاصله هاسدورف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003725>
  skos:prefLabel "measure of non-compactness"@en, "اندازه نافشردگی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003759>
  skos:prefLabel "ball"@en, "گوی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0009838>
  skos:prefLabel "فضای متری هذلولوی"@fa, "hyperbolic metric space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0009931>
  skos:prefLabel "نظریه ارزه"@fa, "valuation theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003743>
  skos:prefLabel "Manhattan distance"@en, "فاصله مانهاتان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003762>
  skos:prefLabel "نگاشت انقباض مجانبی"@fa, "asymptotic contraction map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .

<http://www.irandoc.acir/onto/irandoc/MAT0003768>
  skos:prefLabel "Lipshitz map"@en, "نگاشت لیپ ‌شیتز"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003769> .