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

<http://www.irandoc.acir/onto/irandoc/math000941>
  skos:prefLabel "فضای تابع آزمون"@fa, "test function space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/mathpro2566>
  skos:prefLabel "فضای فشرده"@fa, "فضای جمع و جور"@fa, "compact space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math0003553>
  skos:prefLabel "رویه ریمان فشرده"@fa, "compact riemann surface"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math0008491>
  skos:prefLabel "قضیه رونگه"@fa, "runge theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math0001097>
  skos:prefLabel "فضای برداری توپولوژیک موضعا فشرده"@fa, "locally compact topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math000188>
  skos:prefLabel "انتگرال هار"@fa, "harr integral"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math0003736>
  skos:related <http://www.irandoc.acir/onto/irandoc/math000941>, <http://www.irandoc.acir/onto/irandoc/math0002050>, <http://www.irandoc.acir/onto/irandoc/math000188>, <http://www.irandoc.acir/onto/irandoc/math0001097>, <http://www.irandoc.acir/onto/irandoc/math0003553>, <http://www.irandoc.acir/onto/irandoc/math0001186>, <http://www.irandoc.acir/onto/irandoc/math0006604>, <http://www.irandoc.acir/onto/irandoc/math0003804>, <http://www.irandoc.acir/onto/irandoc/math0008491>, <http://www.irandoc.acir/onto/irandoc/math0001920> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "مجموعه فشرده"@fa, "compact set"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> ;
  skos:scopeNote "مجموعه ای در یک فضای توپولوژیک که هر پوشش باز آن مجموعه یک زیرمجموعه متناهی دارد، که آن هم پوشش است."@fa .

<http://www.irandoc.acir/onto/irandoc/math0003804>
  skos:prefLabel "نظریه درجه توپولوژیک"@fa, "topological degree theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math0002050>
  skos:prefLabel "پایه تحویل‌یافته تعمیم‌یافته"@fa, "generalized reduced basis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math0006604>
  skos:prefLabel "اولین قضیه نقطه ثابت شاودر"@fa, "schauder first fixed point theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/mathpro261> skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .
<http://www.irandoc.acir/onto/irandoc/math0001920>
  skos:prefLabel "همگرایی فشرده"@fa, "compact convergence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .

<http://www.irandoc.acir/onto/irandoc/math0001186>
  skos:prefLabel "قضیه کرین-میلمن"@fa, "krein-milman theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003736> .