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

<http://www.irandoc.acir/onto/irandoc/math0004580>
  skos:prefLabel "مدول کامل"@fa, "complete module"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .

<http://www.irandoc.acir/onto/irandoc/math0004377>
  skos:prefLabel "قضیه اشتراک کرول"@fa, "krull intersection theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0001193>
  skos:prefLabel "فضای پیش هیلبرت"@fa, "pre-hilbert space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .

<http://www.irandoc.acir/onto/irandoc/math0004980>
  skos:prefLabel "دستگاه وارون"@fa, "inverse system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .

<http://www.irandoc.acir/onto/irandoc/math0003666> skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .
<http://www.irandoc.acir/onto/irandoc/math0004384>
  skos:prefLabel "لم آرتین-ریس"@fa, "artin-rees lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .

<http://www.irandoc.acir/onto/irandoc/math0004979>
  skos:prefLabel "حد وارون"@fa, "inverse limit"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .

<http://www.irandoc.acir/onto/irandoc/math0004075>
  skos:prefLabel "حلقه کامل"@fa, "complete ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .

<http://www.irandoc.acir/onto/irandoc/math0003706>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001193>, <http://www.irandoc.acir/onto/irandoc/math0004359>, <http://www.irandoc.acir/onto/irandoc/math0004980>, <http://www.irandoc.acir/onto/irandoc/math0004979>, <http://www.irandoc.acir/onto/irandoc/math0004377>, <http://www.irandoc.acir/onto/irandoc/math0004580>, <http://www.irandoc.acir/onto/irandoc/math0004075>, <http://www.irandoc.acir/onto/irandoc/math0004384> ;
  skos:prefLabel "completion"@en, "تکمیل‌"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro181> ;
  skos:scopeNote "فضای تکمیل شده یک فضای متریک، یک فضای متریک کامل است که فضای مفروض در آن مشمول و چگال باشد."@fa .

<http://www.irandoc.acir/onto/irandoc/math0004359>
  skos:prefLabel "حلقه اشتراک کامل"@fa, "complete intersection ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003706> .

