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

<http://www.irandoc.acir/onto/irandoc/mathpro551> skos:related <http://www.irandoc.acir/onto/irandoc/math0001115> .
<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/math0001115> .

<http://www.irandoc.acir/onto/irandoc/math0001119>
  skos:prefLabel "قضیه گسترش هان-باناخ"@fa, "hahn-banach extension theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001115> .

<http://www.irandoc.acir/onto/irandoc/math0001115>
  skos:altLabel "قضیه جداسازی"@fa, "" ;
  skos:scopeNote "به ازای دو مجموعه محدب از هم جدا در یک فضای برداری توپولوژیک، تابعک خطی متعلق به دوگان این فضای برداری موجود است که قسمت حقیقی آن روی دو مجموعه محدب مذکور تحت شرایطی از هم جدا می شوند."@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001119> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> ;
  skos:prefLabel "قضیه تفکیک"@fa, "separation theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .