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

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

<http://www.irandoc.acir/onto/irandoc/mathpro443> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> .
<http://www.irandoc.acir/onto/irandoc/math0007529>
  skos:prefLabel "ویژگی اشتراک متناهی"@fa, "finite intersection property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003732>
  skos:prefLabel "فضای دنباله‌ای فشرده"@fa, "sequential compact space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> .

<http://www.irandoc.acir/onto/irandoc/math000982>
  skos:prefLabel "حدس کاپلانسکی روی جبر باناخ"@fa, "kaplansky conjecture on banach algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001007>
  skos:prefLabel "جبر یکنواخت"@fa, "uniform algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003731>
  skos:prefLabel "فضای پیرافشرده"@fa, "paracompact space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> .

<http://www.irandoc.acir/onto/irandoc/math000234>
  skos:prefLabel "قضیه نمایش ریس"@fa, "riesz representation theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003727>
  skos:prefLabel "زیرفضای فشرده نسبی"@fa, "relatively compact subspace"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> .

<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 ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2566> .

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

<http://www.irandoc.acir/onto/irandoc/math0003726>
  skos:prefLabel "توپولوژی فشرده-باز"@fa, "compact-open topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> .

<http://www.irandoc.acir/onto/irandoc/math0003735>
  skos:prefLabel "قضیه هاینه-بورل"@fa, "heine-borel theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> .

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

<http://www.irandoc.acir/onto/irandoc/math0003734>
  skos:prefLabel "قضیه حاصل‌ضرب تیخونوف"@fa, "tychonoff product theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566> .

<http://www.irandoc.acir/onto/irandoc/math0001112>
  skos:prefLabel "قضیه ابرلین-سمولیان"@fa, "eberlein-smulyan"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math000975>
  skos:prefLabel "جبر تابعی باناخ"@fa, "banach function algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro2566>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003733>, <http://www.irandoc.acir/onto/irandoc/math0003734>, <http://www.irandoc.acir/onto/irandoc/math0003726>, <http://www.irandoc.acir/onto/irandoc/math0003731>, <http://www.irandoc.acir/onto/irandoc/math0003732>, <http://www.irandoc.acir/onto/irandoc/math0003735>, <http://www.irandoc.acir/onto/irandoc/math0003736>, <http://www.irandoc.acir/onto/irandoc/math0003727>, <http://www.irandoc.acir/onto/irandoc/math0003725> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007529>, <http://www.irandoc.acir/onto/irandoc/math000982>, <http://www.irandoc.acir/onto/irandoc/math0003643>, <http://www.irandoc.acir/onto/irandoc/math0001112>, <http://www.irandoc.acir/onto/irandoc/math000975>, <http://www.irandoc.acir/onto/irandoc/math000234>, <http://www.irandoc.acir/onto/irandoc/math0003658>, <http://www.irandoc.acir/onto/irandoc/math0001007> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro181> ;
  skos:prefLabel "فضای جمع و جور"@fa, "فضای فشرده"@fa, "compact space"@en .

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

<http://www.irandoc.acir/onto/irandoc/math0003643>
  skos:prefLabel "کا-مانستگی"@fa, "k-homology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .