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

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

<http://www.irandoc.acir/onto/irandoc/MAT0001115>
  skos:prefLabel "separation theorem"@en, "قضیه تفکیک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001119> .

<http://www.irandoc.acir/onto/irandoc/MAT0001116>
  skos:prefLabel "extension theorem"@en, "قضیه توسیع"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001119> .

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

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