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

<http://www.irandoc.acir/onto/irandoc/math000261>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math000256>, <http://www.irandoc.acir/onto/irandoc/math000258>, <http://www.irandoc.acir/onto/irandoc/math000259>, <http://www.irandoc.acir/onto/irandoc/math000253>, <http://www.irandoc.acir/onto/irandoc/math000260>, <http://www.irandoc.acir/onto/irandoc/math000254>, <http://www.irandoc.acir/onto/irandoc/math000255>, <http://www.irandoc.acir/onto/irandoc/math000257> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro930> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> ;
  skos:prefLabel "sequence of measurable function"@en, "دنباله توابع اندازه‌پذیر"@fa .

<http://www.irandoc.acir/onto/irandoc/math000255>
  skos:prefLabel "قضیه همگرایی لبگ"@fa, "lebesgue convergence theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/math000253>
  skos:prefLabel "دنباله جمع پذیر"@fa, "summable sequence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/math000258>
  skos:prefLabel "همگرایی در میانگین"@fa, "convergence in mean"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/math000256>
  skos:prefLabel "قضیه همگرایی یکنوا"@fa, "monotone convergence theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/math000260>
  skos:prefLabel "همگرایی یکنواخت"@fa, "uniform convergence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/math000254>
  skos:prefLabel "قضیه همگرایی کراندار"@fa, "bounded convergence theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/math000259>
  skos:prefLabel "همگرایی نقطه به نقطه"@fa, "pointwise convergence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/mathpro930>
  skos:prefLabel "لم بورل-کانتلی"@fa, "borel-cantelli lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/math000257>
  skos:prefLabel "همگرایی در اندازه"@fa, "convergence in measure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000261> .

<http://www.irandoc.acir/onto/irandoc/mathpro609>
  skos:prefLabel "تابع اندازه‌پذیر"@fa, "تابع قابل اندازه‌گیری"@fa, "measurable function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math000261> .