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

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

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

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

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