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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0004934>
  skos:prefLabel "linear functional"@en, "تابعک خطی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001115> .

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