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

<http://www.irandoc.acir/onto/irandoc/math0001105>
  skos:prefLabel "فضای چلیکی"@fa, "barrelled space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001146>
  skos:prefLabel "نقطه بازگشتی"@fa, "recurrent point"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001118>
  skos:prefLabel "قضیه گرین-سمولیان"@fa, "kerein-smulyan theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro389> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001074>
  skos:prefLabel "بستار ضعیف"@fa, "weak closure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro122> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001087>
  skos:prefLabel "خاصیت شکافنده کامل"@fa, "exact splitting property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro634> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001112>
  skos:prefLabel "قضیه ابرلین-سمولیان"@fa, "eberlein-smulyan"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001153>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001100>, <http://www.irandoc.acir/onto/irandoc/math0003701>, <http://www.irandoc.acir/onto/irandoc/math0001094>, <http://www.irandoc.acir/onto/irandoc/math0001099>, <http://www.irandoc.acir/onto/irandoc/math0001090>, <http://www.irandoc.acir/onto/irandoc/math0001128>, <http://www.irandoc.acir/onto/irandoc/math0001089>, <http://www.irandoc.acir/onto/irandoc/math0001073>, <http://www.irandoc.acir/onto/irandoc/math0001087>, <http://www.irandoc.acir/onto/irandoc/math0001127>, <http://www.irandoc.acir/onto/irandoc/math0001086>, <http://www.irandoc.acir/onto/irandoc/math0001119>, <http://www.irandoc.acir/onto/irandoc/math0001115>, <http://www.irandoc.acir/onto/irandoc/math0001074>, <http://www.irandoc.acir/onto/irandoc/math0001136>, <http://www.irandoc.acir/onto/irandoc/math0001134>, <http://www.irandoc.acir/onto/irandoc/math0001132>, <http://www.irandoc.acir/onto/irandoc/math0001124>, <http://www.irandoc.acir/onto/irandoc/math0001122>, <http://www.irandoc.acir/onto/irandoc/math0001120>, <http://www.irandoc.acir/onto/irandoc/math0001103>, <http://www.irandoc.acir/onto/irandoc/math0001123>, <http://www.irandoc.acir/onto/irandoc/math0001148>, <http://www.irandoc.acir/onto/irandoc/math0001150>, <http://www.irandoc.acir/onto/irandoc/math0001111>, <http://www.irandoc.acir/onto/irandoc/math0001139>, <http://www.irandoc.acir/onto/irandoc/math0001084>, <http://www.irandoc.acir/onto/irandoc/math0001098>, <http://www.irandoc.acir/onto/irandoc/math0001080>, <http://www.irandoc.acir/onto/irandoc/math0001118>, <http://www.irandoc.acir/onto/irandoc/math0001138>, <http://www.irandoc.acir/onto/irandoc/math0001077>, <http://www.irandoc.acir/onto/irandoc/math0001097>, <http://www.irandoc.acir/onto/irandoc/math0001152>, <http://www.irandoc.acir/onto/irandoc/math0001106>, <http://www.irandoc.acir/onto/irandoc/math0001146>, <http://www.irandoc.acir/onto/irandoc/math0001126>, <http://www.irandoc.acir/onto/irandoc/math0001085>, <http://www.irandoc.acir/onto/irandoc/math0001107>, <http://www.irandoc.acir/onto/irandoc/math0001105>, <http://www.irandoc.acir/onto/irandoc/math0001135>, <http://www.irandoc.acir/onto/irandoc/math0001133>, <http://www.irandoc.acir/onto/irandoc/math0001131>, <http://www.irandoc.acir/onto/irandoc/math0001114>, <http://www.irandoc.acir/onto/irandoc/math0001110>, <http://www.irandoc.acir/onto/irandoc/math0001130>, <http://www.irandoc.acir/onto/irandoc/math0001102>, <http://www.irandoc.acir/onto/irandoc/math0001101>, <http://www.irandoc.acir/onto/irandoc/math0001095>, <http://www.irandoc.acir/onto/irandoc/math0001091>, <http://www.irandoc.acir/onto/irandoc/math0001129>, <http://www.irandoc.acir/onto/irandoc/math0001088>, <http://www.irandoc.acir/onto/irandoc/math0001083>, <http://www.irandoc.acir/onto/irandoc/math0001081>, <http://www.irandoc.acir/onto/irandoc/math0001117>, <http://www.irandoc.acir/onto/irandoc/math0001082>, <http://www.irandoc.acir/onto/irandoc/math0003757>, <http://www.irandoc.acir/onto/irandoc/math0001076>, <http://www.irandoc.acir/onto/irandoc/math0001096>, <http://www.irandoc.acir/onto/irandoc/math0001116>, <http://www.irandoc.acir/onto/irandoc/math0001151>, <http://www.irandoc.acir/onto/irandoc/math0001075>, <http://www.irandoc.acir/onto/irandoc/math0001104>, <http://www.irandoc.acir/onto/irandoc/math0001125>, <http://www.irandoc.acir/onto/irandoc/math0001113>, <http://www.irandoc.acir/onto/irandoc/math0001112> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:altLabel "فضای خطی توپولوژیک"@fa, "" ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001222>, <http://www.irandoc.acir/onto/irandoc/math000943>, <http://www.irandoc.acir/onto/irandoc/math0003668>, <http://www.irandoc.acir/onto/irandoc/math0010119>, <http://www.irandoc.acir/onto/irandoc/math0010135>, <http://www.irandoc.acir/onto/irandoc/math0001179>, <http://www.irandoc.acir/onto/irandoc/math0003666>, <http://www.irandoc.acir/onto/irandoc/math0001186>, <http://www.irandoc.acir/onto/irandoc/math0001169> ;
  skos:prefLabel "topological vector space"@en, "فضای برداری توپولوژیک"@fa ;
  skos:scopeNote "فضایی برداری که دارای یک توپولوژی با این ویژگی است که جمع برداری و ضرب اسکالر هر دو توابعی پیوسته اند."@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001211> .

<http://www.irandoc.acir/onto/irandoc/math0001125>
  skos:prefLabel "قطبی یک مجموعه"@fa, "polar of a set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001138>
  skos:prefLabel "مجموعه نرم-بسته"@fa, "norm-closed set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001081>
  skos:prefLabel "تابعک مینکوفسکی"@fa, "minkowski functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro547> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001179>
  skos:prefLabel "فضای باناخ"@fa, "banach space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro2420> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001094>
  skos:prefLabel "فضای بازتابی"@fa, "reflexive space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001132>
  skos:prefLabel "مجموعه ضعیف‌کراندار"@fa, "weakly bounded set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001104>
  skos:prefLabel "فضای پارا‌نرم‌دار"@fa, "paranorm space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001117>
  skos:prefLabel "قضیه کانوی"@fa, "conway theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001186>
  skos:prefLabel "قضیه کرین-میلمن"@fa, "krein-milman theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001211>
  skos:prefLabel "آنالیز تابعی"@fa, "fuctional analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001073>
  skos:prefLabel "اصل کرانداری یکنواخت"@fa, "uniform boundedness principle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001086>
  skos:prefLabel "خاصیت شکافنده جزیی"@fa, "some splitting property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001111>
  skos:prefLabel "قرص واحد"@fa, "unit disc"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001099>
  skos:prefLabel "فضای برداری توپولوژیک موضعا محدب"@fa, "locally convex topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001152>
  skos:prefLabel "همسایگی ضعیف"@fa, "weak neighborhood"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0003701>
  skos:prefLabel "f-فضا"@fa, "f-space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001124>
  skos:prefLabel "قضیه هان-باناخ"@fa, "hahn-banach theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001080>
  skos:prefLabel "تابعک خطی کراندار"@fa, "bounded linear functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro3311> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001131>
  skos:prefLabel "مجموعه ضعیف‌ستاره فشرده"@fa, "weak*-compact set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001103>
  skos:prefLabel "فضای به‌طور یکنواخت هموار"@fa, "uniformly smooth space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<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:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001116>
  skos:prefLabel "قضیه توسیع"@fa, "extension theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001129>
  skos:prefLabel "مجموعه چلیکی"@fa, "barrelled set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001085>
  skos:prefLabel "توپولوژی نرمی"@fa, "norm topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001110>
  skos:prefLabel "فضای نرم‌دار"@fa, "normed space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001098>
  skos:prefLabel "فضای برداری توپولوژیک موضعا کراندار"@fa, "locally bounded topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001151>
  skos:prefLabel "نیم‌نرم"@fa, "seminorm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001123>
  skos:prefLabel "قضیه نمودار بسته"@fa, "closed graph theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001136>
  skos:prefLabel "مجموعه متعادل"@fa, "balanced set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro181> skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/mathpro3310> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001077>
  skos:prefLabel "پایه همل"@fa, "hamel base"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001130>
  skos:prefLabel "مجموعه ضعیف‌ستاره بسته"@fa, "weak*-closed set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001102>
  skos:prefLabel "فضای برنو لجیکال"@fa, "bornological space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001115>
  skos:prefLabel "قضیه تفکیک"@fa, "separation theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001128>
  skos:prefLabel "مجموعه جاذب"@fa, "absorbing set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro2884> skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0010135>
  skos:prefLabel "هندسه محدب"@fa, "convex geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001169>
  skos:prefLabel "فضای توابع خطی"@fa, "linear functions space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001222>
  skos:prefLabel "همگرایی نامشروط"@fa, "unconditional convergence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001084>
  skos:prefLabel "توپولوژی ضعیف‌ستاره"@fa, "weak*-topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001097>
  skos:prefLabel "فضای برداری توپولوژیک موضعا فشرده"@fa, "locally compact topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001150>
  skos:prefLabel "نگاشت نیم‌خطی"@fa, "semi linear map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001122>
  skos:prefLabel "قضیه نگاشت باز"@fa, "open mapping theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro117> skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001135>
  skos:prefLabel "مجموعه کلاکراندار"@fa, "totally-bounded set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001107>
  skos:prefLabel "فضای شبه‌نرم‌دار"@fa, "seminormed space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001148>
  skos:prefLabel "نگاشت منفک‌پیوسته"@fa, "separately continuous mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001091>
  skos:prefLabel "غلاف خطی محدب"@fa, "convex linear hull"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001076>
  skos:prefLabel "پایه موضعی محدب"@fa, "convex local base"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001101>
  skos:prefLabel "فضای برداری شبه‌نرم‌دار"@fa, "quasi-normed vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<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:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001089>
  skos:prefLabel "دنباله ضعیف‌همگرا"@fa, "weakly convergent sequence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001114>
  skos:prefLabel "قضیه باناخ-آلااغلو"@fa, "banach-alaoglu theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro551> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001127>
  skos:prefLabel "مجموعه اکسترمم"@fa, "extreme set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001083>
  skos:prefLabel "توپولوژی ضعیف"@fa, "weak topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0010119>
  skos:prefLabel "فضای باناخ متناهی‌بعد"@fa, "finite-dimensional banach spaces"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001096>
  skos:prefLabel "فضای برداری توپولوژیک متریک‌پذیر"@fa, "metrizable topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math000943>
  skos:prefLabel "تابع آزمون"@fa, "test function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001134>
  skos:prefLabel "مجموعه کراندار"@fa, "bounded set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001106>
  skos:prefLabel "فضای شبه‌باناخ"@fa, "quasi-banach space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001090>
  skos:prefLabel "شبه‌نرم"@fa, "quasi-norm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001119>
  skos:prefLabel "قضیه گسترش هان-باناخ"@fa, "hahn-banach extension theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001075>
  skos:prefLabel "پارانرم"@fa, "paranorm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001100>
  skos:prefLabel "فضای برداری توپولوژیک نرم‌پذیر"@fa, "normable topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001088>
  skos:prefLabel "خاصیت شکافنده موضعی"@fa, "local splitting property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/mathpro164> skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .
<http://www.irandoc.acir/onto/irandoc/math0001113>
  skos:prefLabel "قضیه باناخ-اشتاین‌هاوس"@fa, "banach-steinhaus theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001126>
  skos:prefLabel "متر‌پذیر"@fa, "metrizable"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001139>
  skos:prefLabel "مدار(تابع)"@fa, "orbit (function)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001082>
  skos:prefLabel "تبدیل خطی کراندار"@fa, "bounded linear transformation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0003757>
  skos:prefLabel "قضیه متری‌سازی"@fa, "metrization theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001095>
  skos:prefLabel "فضای باناخ هموار"@fa, "smooth banach space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001120>
  skos:prefLabel "قضیه گلدشتاین"@fa, "goldstine theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .

<http://www.irandoc.acir/onto/irandoc/math0001133>
  skos:prefLabel "مجموعه قطبی"@fa, "polar set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> .