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

<http://www.irandoc.acir/onto/irandoc/MAT0010130>
  skos:prefLabel "مجموعه محدب"@fa, "convex set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0006604> .

<http://www.irandoc.acir/onto/irandoc/MAT0003736>
  skos:prefLabel "compact set"@en, "مجموعه فشرده"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0006604> .

<http://www.irandoc.acir/onto/irandoc/MAT0007530>
  skos:prefLabel "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0006604> .

<http://www.irandoc.acir/onto/irandoc/MAT0006604>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003639>, <http://www.irandoc.acir/onto/irandoc/MAT0010130>, <http://www.irandoc.acir/onto/irandoc/MAT0003736>, <http://www.irandoc.acir/onto/irandoc/MAT0007530> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0006609> ;
  skos:prefLabel "Schauder first fixed point theorem"@en, "اولین قضیه نقطه ثابت شاودر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/MAT0006609>
  skos:prefLabel "general existence and uniqueness theorm"@en, "قضیه وجود ویکتایی کلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0006604> .

<http://www.irandoc.acir/onto/irandoc/MAT0003639>
  skos:prefLabel "Sperner lemma"@en, "لم اسپرنر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0006604> .