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

<http://www.irandoc.acir/onto/irandoc/mathpro3331> skos:related <http://www.irandoc.acir/onto/irandoc/math0003897> .
<http://www.irandoc.acir/onto/irandoc/math0003894>
  skos:prefLabel "قضیه هاینه-کانتور"@fa, "heine–cantor theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003897> .

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0003883>
  skos:prefLabel "قضیه نقطه ثابت لفشتس"@fa, "lefschetz fixed point theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003897> .

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0003897>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003887>, <http://www.irandoc.acir/onto/irandoc/math0003894>, <http://www.irandoc.acir/onto/irandoc/math0003920>, <http://www.irandoc.acir/onto/irandoc/math0003536>, <http://www.irandoc.acir/onto/irandoc/math0003895>, <http://www.irandoc.acir/onto/irandoc/math0003892>, <http://www.irandoc.acir/onto/irandoc/math0003888>, <http://www.irandoc.acir/onto/irandoc/math0003891>, <http://www.irandoc.acir/onto/irandoc/math0003896>, <http://www.irandoc.acir/onto/irandoc/math0003940> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0005258>, <http://www.irandoc.acir/onto/irandoc/math0003824>, <http://www.irandoc.acir/onto/irandoc/math0003771>, <http://www.irandoc.acir/onto/irandoc/math0005050>, <http://www.irandoc.acir/onto/irandoc/math000979>, <http://www.irandoc.acir/onto/irandoc/math000295>, <http://www.irandoc.acir/onto/irandoc/math0003792>, <http://www.irandoc.acir/onto/irandoc/math0003876>, <http://www.irandoc.acir/onto/irandoc/math0005259>, <http://www.irandoc.acir/onto/irandoc/math0001148>, <http://www.irandoc.acir/onto/irandoc/math0003883>, <http://www.irandoc.acir/onto/irandoc/math0004001>, <http://www.irandoc.acir/onto/irandoc/math0004008> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "continuous mapping"@en, "نگاشت پیوسته"@fa .

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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0006322> skos:related <http://www.irandoc.acir/onto/irandoc/math0003897> .
<http://www.irandoc.acir/onto/irandoc/math0003771>
  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/math0003897> .

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

<http://www.irandoc.acir/onto/irandoc/math0003876>
  skos:prefLabel "قضیه نقطه ثابت براوئر"@fa, "brouwer fixed point theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003897> .

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

<http://www.irandoc.acir/onto/irandoc/math0006321> skos:related <http://www.irandoc.acir/onto/irandoc/math0003897> .