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

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

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

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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0003737>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003658>, <http://www.irandoc.acir/onto/irandoc/MAT0003643>, <http://www.irandoc.acir/onto/irandoc/MAT0001007>, <http://www.irandoc.acir/onto/irandoc/MAT0007529>, <http://www.irandoc.acir/onto/irandoc/MAT000982>, <http://www.irandoc.acir/onto/irandoc/MAT0001874>, <http://www.irandoc.acir/onto/irandoc/MAT0001112>, <http://www.irandoc.acir/onto/irandoc/MAT000975>, <http://www.irandoc.acir/onto/irandoc/MAT0008920> ;
  skos:prefLabel "فضای فشرده"@fa, "compact space"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003731>, <http://www.irandoc.acir/onto/irandoc/MAT0003726>, <http://www.irandoc.acir/onto/irandoc/MAT0003732>, <http://www.irandoc.acir/onto/irandoc/MAT0003735>, <http://www.irandoc.acir/onto/irandoc/MAT0003734>, <http://www.irandoc.acir/onto/irandoc/MAT0003736>, <http://www.irandoc.acir/onto/irandoc/MAT0003730>, <http://www.irandoc.acir/onto/irandoc/MAT0003727>, <http://www.irandoc.acir/onto/irandoc/MAT0003725>, <http://www.irandoc.acir/onto/irandoc/MAT0003733> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003796> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/MAT0008920>
  skos:prefLabel "عمل دوگان‌فشرده"@fa, "cocompact group action"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003737> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0003730>
  skos:prefLabel "compactification"@en, "فشرده‌سازی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003737> .

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

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

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

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

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

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