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

<http://www.irandoc.acir/onto/irandoc/MAT0007524>
  skos:prefLabel "closed unbounded filter"@en, "پالایه بیکران بسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007529>
  skos:prefLabel "finite intersection property"@en, "ویژگی اشتراک متناهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0003785>
  skos:prefLabel "closed set"@en, "مجموعه بسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007513>
  skos:prefLabel "reduced product"@en, "حاصل‌ضرب کاهشی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007519>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007524>, <http://www.irandoc.acir/onto/irandoc/MAT0004273>, <http://www.irandoc.acir/onto/irandoc/MAT0007624>, <http://www.irandoc.acir/onto/irandoc/MAT0007508>, <http://www.irandoc.acir/onto/irandoc/MAT0007625>, <http://www.irandoc.acir/onto/irandoc/MAT0007563>, <http://www.irandoc.acir/onto/irandoc/MAT0003901>, <http://www.irandoc.acir/onto/irandoc/MAT0003785>, <http://www.irandoc.acir/onto/irandoc/MAT0007529>, <http://www.irandoc.acir/onto/irandoc/MAT000349> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007527> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "پالایه"@fa, "filter"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007518>, <http://www.irandoc.acir/onto/irandoc/MAT0007513>, <http://www.irandoc.acir/onto/irandoc/MAT0007511>, <http://www.irandoc.acir/onto/irandoc/MAT0007510>, <http://www.irandoc.acir/onto/irandoc/MAT0007512>, <http://www.irandoc.acir/onto/irandoc/MAT0007509>, <http://www.irandoc.acir/onto/irandoc/MAT0007517> ;
  skos:altLabel "فیلتر"@fa ;
  skos:scopeNote "خانواده ای از زیر مجموعه‌های یک مجموعه که اشتراک هر دو عضو خانواده نیز عضوی از خانواده باشد و هر زیرمجموعه‌ای از آن که شامل عضوی از خانواده است، یک عضو باشد."@fa .

<http://www.irandoc.acir/onto/irandoc/MAT0007509>
  skos:prefLabel "principal filter"@en, "پالایه اصلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0003901>
  skos:prefLabel "توپولوژی"@fa, "topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007512>
  skos:prefLabel "normal filter"@en, "پالایه نرمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007518>
  skos:prefLabel "fundamental theorem of ultraproduct"@en, "قضیه بنیادی فراضرب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007508>
  skos:prefLabel "ideal (set theory)"@en, "ایده‌آل (نظریه مجموعه‌ها)"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT000349>
  skos:prefLabel "deterministic linear system"@en, "دستگاه خطی قطعی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007511>
  skos:prefLabel "Frechet filter"@en, "پالایه فرشه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007517>
  skos:prefLabel "ultrafilter"@en, "فرا پالایه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007625>
  skos:prefLabel "ultraproducts of models"@en, "ابرضرب مدل‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007510>
  skos:prefLabel "countably-complete filter"@en, "پالایه شماراکامل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007519> .

<http://www.irandoc.acir/onto/irandoc/MAT0007624>
  skos:prefLabel "ultrapower"@en, "فرا توان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007519> .