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

<http://www.irandoc.acir/onto/irandoc/math0007519>
  skos:prefLabel "پالایه"@fa, "filter"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007508> .

<http://www.irandoc.acir/onto/irandoc/math0007508>
  skos:scopeNote "دوگان تعریف فیلتر است."@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007506>, <http://www.irandoc.acir/onto/irandoc/math0007507> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007522>, <http://www.irandoc.acir/onto/irandoc/math0007519>, <http://www.irandoc.acir/onto/irandoc/math0007563> ;
  skos:prefLabel "ideal (set theory)"@en, "ایده‌آل (نظریه مجموعه‌ها)"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007527> .

<http://www.irandoc.acir/onto/irandoc/math0007506>
  skos:prefLabel "ایده‌آل شماراکامل"@fa, "countably-complete ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007508> .

<http://www.irandoc.acir/onto/irandoc/math0007563>
  skos:prefLabel "قضیه نمایش استون"@fa, "stone representation theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007508> .

<http://www.irandoc.acir/onto/irandoc/math0007507>
  skos:prefLabel "ایده‌آل نرمال"@fa, "normal ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007508> .

<http://www.irandoc.acir/onto/irandoc/math0007522>
  skos:prefLabel "ایده‌آل باریک"@fa, "thin ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007508> .

<http://www.irandoc.acir/onto/irandoc/math0007527>
  skos:prefLabel "نظریه ترکیبیاتی مجموعه‌ها"@fa, "combinatorial set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007508> .