@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://rdf-vocabulary.ddialliance.org/xkos#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro135>
  skos:prefLabel "فضای متریک مناسب"@fa, "proper metric space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

<http://www.irandoc.acir/onto/irandoc/mathpro60> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro119> .
<http://www.irandoc.acir/onto/irandoc/math0003649>
  skos:prefLabel "قضیه توسیع تیتز"@fa, "tietze extension theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro227> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .
<http://www.irandoc.acir/onto/irandoc/mathpro1221> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro119> .
<http://www.irandoc.acir/onto/irandoc/math0009809>
  skos:prefLabel "قضیه کارتان-آدامار"@fa, "cartan–hadamard theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro119>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003761>, <http://www.irandoc.acir/onto/irandoc/math0003767>, <http://www.irandoc.acir/onto/irandoc/math0003744>, <http://www.irandoc.acir/onto/irandoc/mathpro123>, <http://www.irandoc.acir/onto/irandoc/math0003756>, <http://www.irandoc.acir/onto/irandoc/math0003747>, <http://www.irandoc.acir/onto/irandoc/mathpro120>, <http://www.irandoc.acir/onto/irandoc/math0003762>, <http://www.irandoc.acir/onto/irandoc/math0003768>, <http://www.irandoc.acir/onto/irandoc/mathpro128>, <http://www.irandoc.acir/onto/irandoc/mathpro132>, <http://www.irandoc.acir/onto/irandoc/math0003751>, <http://www.irandoc.acir/onto/irandoc/math0003742>, <http://www.irandoc.acir/onto/irandoc/math0003748>, <http://www.irandoc.acir/onto/irandoc/mathpro121>, <http://www.irandoc.acir/onto/irandoc/math0003745>, <http://www.irandoc.acir/onto/irandoc/math0003763>, <http://www.irandoc.acir/onto/irandoc/math0003757>, <http://www.irandoc.acir/onto/irandoc/math0003766>, <http://www.irandoc.acir/onto/irandoc/mathpro126>, <http://www.irandoc.acir/onto/irandoc/math0003743>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/mathpro135>, <http://www.irandoc.acir/onto/irandoc/math0003755>, <http://www.irandoc.acir/onto/irandoc/mathpro129>, <http://www.irandoc.acir/onto/irandoc/math0003746>, <http://www.irandoc.acir/onto/irandoc/math0003764>, <http://www.irandoc.acir/onto/irandoc/mathpro124> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro181>, <http://www.irandoc.acir/onto/irandoc/mathpro92> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0009838>, <http://www.irandoc.acir/onto/irandoc/math0008054>, <http://www.irandoc.acir/onto/irandoc/math0003658>, <http://www.irandoc.acir/onto/irandoc/math0003725>, <http://www.irandoc.acir/onto/irandoc/math0009708>, <http://www.irandoc.acir/onto/irandoc/math0003739>, <http://www.irandoc.acir/onto/irandoc/math0003649>, <http://www.irandoc.acir/onto/irandoc/math0003741>, <http://www.irandoc.acir/onto/irandoc/math0009809>, <http://www.irandoc.acir/onto/irandoc/math0003875>, <http://www.irandoc.acir/onto/irandoc/math0009931>, <http://www.irandoc.acir/onto/irandoc/math0003671>, <http://www.irandoc.acir/onto/irandoc/math0001215>, <http://www.irandoc.acir/onto/irandoc/math0001096>, <http://www.irandoc.acir/onto/irandoc/math0009707> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "metric space"@en, "فضای متری"@fa, "فضای متریک"@fa ;
  ns0:comment <http://en.wikipedia.org/wiki/metric_space> ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro446> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro126>
  skos:prefLabel "فضای ستاره‌ای"@fa, "star space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

<http://www.irandoc.acir/onto/irandoc/math0003875>
  skos:prefLabel "قضیه نقطه ثابت باناخ"@fa, "banach fixed point theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro92>
  skos:prefLabel "فضا"@fa, "space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro119> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro120>
  skos:prefLabel "فضای cat%28k%29"@fa, "cat%28k%29 space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

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

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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro132>
  skos:prefLabel "فضای انحنای ثابت"@fa, "space of constant curvature"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

<http://www.irandoc.acir/onto/irandoc/mathpro1877> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro119> .
<http://www.irandoc.acir/onto/irandoc/mathpro616> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .
<http://www.irandoc.acir/onto/irandoc/math0003725>
  skos:prefLabel "اندازه نافشردگی"@fa, "measure of non-compactness"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/mathpro124>
  skos:prefLabel "مرز گروموف"@fa, "gromov boundary"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

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

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

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

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro129>
  skos:prefLabel "فضای غیر منحنی مثبت"@fa, "non-positively curved space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro123>
  skos:prefLabel "فضای متریک ژئودزیک"@fa, "geodesic metric space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

<http://www.irandoc.acir/onto/irandoc/mathpro1975> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro119> .
<http://www.irandoc.acir/onto/irandoc/math0003744>
  skos:prefLabel "فاصله هاسدورف"@fa, "hausdorff distance"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro128>
  skos:prefLabel "فضای آدامار"@fa, "فضای هادامارد"@fa, "hadamard space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119> .