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

<http://www.irandoc.acir/onto/irandoc/math0003698>
  skos:prefLabel "رسته دوم"@fa, "second category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro197> skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003651>
  skos:prefLabel "اصول موضوع شمارایی"@fa, "countability axioms"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003830>
  skos:prefLabel "نظریه ریمان"@fa, "riemann theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003802>
  skos:prefLabel "مسئله بستار کوراتوفسکی"@fa, "kuratowski closure problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003692>
  skos:prefLabel "توپولوژی یکنواخت"@fa, "uniform topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro2567> skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003664>
  skos:prefLabel "توپولوژی افراز"@fa, "partition topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro2382> skos:related <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003671>
  skos:prefLabel "توپولوژی توسیع بسته"@fa, "closed extension topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003797>
  skos:prefLabel "tychonoff theorem"@en, "قضیه تیخونوف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003684>
  skos:prefLabel "توپولوژی قوی عملگر"@fa, "strong operator topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003697>
  skos:prefLabel "خم ژوردان"@fa, "jordan curve"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003807>
  skos:prefLabel "ویژگی موضعا محدب"@fa, "locally convex property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003669>
  skos:prefLabel "توپولوژی ترتیبی"@fa, "order topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro65> skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .
<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:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro2387> skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003663>
  skos:prefLabel "توپولوژی اجتماع مجزا"@fa, "disjoint union topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003676>
  skos:prefLabel "توپولوژی حد پایینی"@fa, "lower limit topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0006326>
  skos:prefLabel "گروه‌های توپولوژیک"@fa, "topological groups"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003670>
  skos:prefLabel "توپولوژی تعمیم‌یافته"@fa, "generalized topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003683>
  skos:prefLabel "توپولوژی قوی"@fa, "strong topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003696>
  skos:prefLabel "خاصیت توپولوژیکی"@fa, "topological property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003806>
  skos:prefLabel "نوار موبیوس"@fa, "mobius strip"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003668>
  skos:prefLabel "توپولوژی برداری"@fa, "vector topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro3431> skos:related <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003800>
  skos:prefLabel "قضیه لیندلوف"@fa, "lindelof theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003662>
  skos:prefLabel "پیوستار"@fa, "continuum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003675>
  skos:prefLabel "توپولوژی حاصل‌ضربی"@fa, "product topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003700>
  skos:prefLabel "عدد چرخش"@fa, "winding number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro43> skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003682>
  skos:prefLabel "توپولوژی قطبی"@fa, "polar topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro181> skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003695>
  skos:prefLabel "حجره"@fa, "cell"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003805>
  skos:prefLabel "نظریه مورس"@fa, "morse theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003667>
  skos:prefLabel "توپولوژی بدیهی"@fa, "trivial topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math000218>
  skos:prefLabel "نظریه ارگودیک اندازه‌ای-نظری"@fa, "measure-theoretic ergodic theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003687>
  skos:prefLabel "توپولوژی هم‌متناهی"@fa, "cofinite topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003681>
  skos:prefLabel "توپولوژی زیرفضایی"@fa, "subspace topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003653>
  skos:prefLabel "پایه موضعی"@fa, "local basis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro3228> skos:related <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003804>
  skos:prefLabel "نظریه درجه توپولوژیک"@fa, "topological degree theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro457> skos:related <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003666>
  skos:prefLabel "توپولوژی آی-ای"@fa, "i-adic topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003679>
  skos:prefLabel "توپولوژی خارج قسمتی"@fa, "quotient topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/mathpro2535> skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .
<http://www.irandoc.acir/onto/irandoc/math0003799>
  skos:prefLabel "قضیه رسته بر"@fa, "baire category theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003686>
  skos:prefLabel "توپولوژی گسسته"@fa, "discrete topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003809>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003667>, <http://www.irandoc.acir/onto/irandoc/math0003653>, <http://www.irandoc.acir/onto/irandoc/math0003807>, <http://www.irandoc.acir/onto/irandoc/math0003804>, <http://www.irandoc.acir/onto/irandoc/math0003805>, <http://www.irandoc.acir/onto/irandoc/math0003675>, <http://www.irandoc.acir/onto/irandoc/math0003695>, <http://www.irandoc.acir/onto/irandoc/math0003662>, <http://www.irandoc.acir/onto/irandoc/math0003682>, <http://www.irandoc.acir/onto/irandoc/math0003663>, <http://www.irandoc.acir/onto/irandoc/math0003683>, <http://www.irandoc.acir/onto/irandoc/math0003650>, <http://www.irandoc.acir/onto/irandoc/math0003670>, <http://www.irandoc.acir/onto/irandoc/math0003664>, <http://www.irandoc.acir/onto/irandoc/math0003665>, <http://www.irandoc.acir/onto/irandoc/math0003652>, <http://www.irandoc.acir/onto/irandoc/math0003699>, <http://www.irandoc.acir/onto/irandoc/math0003686>, <http://www.irandoc.acir/onto/irandoc/math0003687>, <http://www.irandoc.acir/onto/irandoc/math0003802>, <http://www.irandoc.acir/onto/irandoc/math0003803>, <http://www.irandoc.acir/onto/irandoc/math0003798>, <http://www.irandoc.acir/onto/irandoc/math0003799>, <http://www.irandoc.acir/onto/irandoc/math0003668>, <http://www.irandoc.acir/onto/irandoc/math0003669>, <http://www.irandoc.acir/onto/irandoc/math0003681>, <http://www.irandoc.acir/onto/irandoc/math0003676>, <http://www.irandoc.acir/onto/irandoc/math0003806>, <http://www.irandoc.acir/onto/irandoc/math0003697>, <http://www.irandoc.acir/onto/irandoc/math0003698>, <http://www.irandoc.acir/onto/irandoc/math0003684>, <http://www.irandoc.acir/onto/irandoc/math0003672>, <http://www.irandoc.acir/onto/irandoc/math0003692>, <http://www.irandoc.acir/onto/irandoc/math0003700>, <http://www.irandoc.acir/onto/irandoc/math0003797>, <http://www.irandoc.acir/onto/irandoc/math0003800>, <http://www.irandoc.acir/onto/irandoc/math0003679>, <http://www.irandoc.acir/onto/irandoc/math0003651>, <http://www.irandoc.acir/onto/irandoc/math0003671>, <http://www.irandoc.acir/onto/irandoc/math0003666>, <http://www.irandoc.acir/onto/irandoc/math0003696> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math000218>, <http://www.irandoc.acir/onto/irandoc/math0006326>, <http://www.irandoc.acir/onto/irandoc/math0003830>, <http://www.irandoc.acir/onto/irandoc/math0004716> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:scopeNote "شاخه ای از توپولوژی است که به بررسی روابط بین ویژگی های توپولوژیک بنیادی و فضاهای توپولوژیک می پردازد."@fa ;
  skos:prefLabel "توپولوژی عمومی"@fa, "general topology"@en .

<http://www.irandoc.acir/onto/irandoc/math0003699>
  skos:prefLabel "صورت کلیفورد-کلاین"@fa, "clifford-klein form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

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

<http://www.irandoc.acir/onto/irandoc/math0003652>
  skos:prefLabel "بستار"@fa, "closure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003803>
  skos:prefLabel "نظریه تابع‌های توپولوژیک"@fa, "topological function theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003665>
  skos:prefLabel "توپولوژی القایی"@fa, "induced topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

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

<http://www.irandoc.acir/onto/irandoc/math0003672>
  skos:prefLabel "توپولوژی جعبه‌ای"@fa, "box topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .

<http://www.irandoc.acir/onto/irandoc/math0003798>
  skos:prefLabel "قضیه خم ژوردان"@fa, "jordan curve theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003809> .