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

<http://www.irandoc.acir/onto/irandoc/MAT0003771>
  skos:prefLabel "فضای کاملا منظم"@fa, "completely regular space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003895>
  skos:prefLabel "closed map"@en, "نگاشت بسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003876>
  skos:prefLabel "Brouwer 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/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0006321> skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .
<http://www.irandoc.acir/onto/irandoc/MAT0005258>
  skos:prefLabel "uniform continuty principle"@en, "اصل پیوستگی یکنواخت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0003940>
  skos:prefLabel "Borsuk–Ulam theorem"@en, "قضیه بورسوک-اولام"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0004008>
  skos:prefLabel "homotopy"@en, "هموتوپی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0004001>
  skos:prefLabel "گروه هموتوپی"@fa, "homotopy group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0009541>
  skos:prefLabel "Darboux theorem"@en, "قضیه داربو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003920>
  skos:prefLabel "Leray spectral sequence"@en, "دنباله طیفی لری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003889>
  skos:prefLabel "normal family"@en, "خانواده نرمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003901>
  skos:prefLabel "توپولوژی"@fa, "topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003883>
  skos:prefLabel "Lefschetz 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/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT000979>
  skos:prefLabel "Banach Hopf algebra"@en, "جبر هاف باناخ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003892>
  skos:prefLabel "Banach-Mazur theorem"@en, "قضیه باناخ-مازور"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003801>
  skos:prefLabel "open set"@en, "مجموعه باز"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003888>
  skos:prefLabel "quasi-continuous function"@en, "تابع شبه‌پیوسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0003792>
  skos:prefLabel "نگاشت باز"@fa, "open map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003891>
  skos:prefLabel "Banach-Stone theorem"@en, "قضیه باناخ-استون"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003897>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003876>, <http://www.irandoc.acir/onto/irandoc/MAT0003824>, <http://www.irandoc.acir/onto/irandoc/MAT0003771>, <http://www.irandoc.acir/onto/irandoc/MAT0003785>, <http://www.irandoc.acir/onto/irandoc/MAT000295>, <http://www.irandoc.acir/onto/irandoc/MAT0009541>, <http://www.irandoc.acir/onto/irandoc/MAT0003801>, <http://www.irandoc.acir/onto/irandoc/MAT000979>, <http://www.irandoc.acir/onto/irandoc/MAT0003792>, <http://www.irandoc.acir/onto/irandoc/MAT0005259>, <http://www.irandoc.acir/onto/irandoc/MAT0004008>, <http://www.irandoc.acir/onto/irandoc/MAT0005258>, <http://www.irandoc.acir/onto/irandoc/MAT0003883>, <http://www.irandoc.acir/onto/irandoc/MAT0005050>, <http://www.irandoc.acir/onto/irandoc/MAT0004001>, <http://www.irandoc.acir/onto/irandoc/MAT0001148> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003891>, <http://www.irandoc.acir/onto/irandoc/MAT0003887>, <http://www.irandoc.acir/onto/irandoc/MAT0003888>, <http://www.irandoc.acir/onto/irandoc/MAT0003892>, <http://www.irandoc.acir/onto/irandoc/MAT0003889>, <http://www.irandoc.acir/onto/irandoc/MAT0003920>, <http://www.irandoc.acir/onto/irandoc/MAT0003894>, <http://www.irandoc.acir/onto/irandoc/MAT0003895>, <http://www.irandoc.acir/onto/irandoc/MAT0003940>, <http://www.irandoc.acir/onto/irandoc/MAT0003896> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "continuous mapping"@en, "نگاشت پیوسته"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003901> .

<http://www.irandoc.acir/onto/irandoc/MAT0005050>
  skos:prefLabel "continuous function"@en, "تابع پیوسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003887>
  skos:prefLabel "symmetric continuous function"@en, "تابع پیوسته متقارن"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003896>
  skos:prefLabel "bundle map"@en, "نگاشت کلاف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0003824>
  skos:prefLabel "loop theorem"@en, "قضیه طوقه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT000295>
  skos:prefLabel "Stone-Weierstrass theorem"@en, "قضیه استون-وایرشتراس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0005259>
  skos:prefLabel "absolute continuity"@en, "پیوستگی مطلق"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .

<http://www.irandoc.acir/onto/irandoc/MAT0006322> skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003897> .