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

<http://www.irandoc.acir/onto/irandoc/math0001114>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001131>, <http://www.irandoc.acir/onto/irandoc/math0001125> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> ;
  skos:prefLabel "قضیه باناخ-آلااغلو"@fa, "banach-alaoglu theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0001131>
  skos:prefLabel "مجموعه ضعیف‌ستاره فشرده"@fa, "weak*-compact set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001114> .

<http://www.irandoc.acir/onto/irandoc/math0001125>
  skos:prefLabel "قطبی یک مجموعه"@fa, "polar of a set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001114> .