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

<http://www.irandoc.acir/onto/irandoc/mathpro188> skos:related <http://www.irandoc.acir/onto/irandoc/math0003649> .
<http://www.irandoc.acir/onto/irandoc/mathpro186> skos:related <http://www.irandoc.acir/onto/irandoc/math0003649> .
<http://www.irandoc.acir/onto/irandoc/mathpro2382> skos:related <http://www.irandoc.acir/onto/irandoc/math0003649> .
<http://www.irandoc.acir/onto/irandoc/math0001064>
  skos:prefLabel "سی ستاره-جبر"@fa, "c*-algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003649> .

<http://www.irandoc.acir/onto/irandoc/mathpro119> skos:related <http://www.irandoc.acir/onto/irandoc/math0003649> .
<http://www.irandoc.acir/onto/irandoc/math0003650>
  skos:prefLabel "اصول موضوع تفکیک"@fa, "separation axioms"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003649> .

<http://www.irandoc.acir/onto/irandoc/math0003649>
  skos:scopeNote "قضیه ای است راجع به توسیع پذیری توابعی که روی زیر مجموعه های بسته تعریف شده اند."@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0009277>, <http://www.irandoc.acir/onto/irandoc/math0001064>, <http://www.irandoc.acir/onto/irandoc/math0003776> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003650> ;
  skos:prefLabel "قضیه توسیع تیتز"@fa, "tietze extension theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003776>
  skos:prefLabel "لم اوریسون"@fa, "urysohn lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003649> .

<http://www.irandoc.acir/onto/irandoc/math0009277>
  skos:prefLabel "خم فضا پرکن"@fa, "space filling curve"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003649> .