@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-KFSNTTXP-S
  skos:prefLabel "general topology"@en, "topologie générale"@fr ;
  a skos:Concept ;
  skos:narrower psr:-TKQQ08TZ-8 .

psr:-MGJVTWX1-0
  skos:prefLabel "espace topologique"@fr, "topological space"@en ;
  a skos:Concept ;
  skos:narrower psr:-TKQQ08TZ-8 .

psr:-TKQQ08TZ-8
  skos:prefLabel "ensemble maigre"@fr, "meagre set"@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Ensemble_maigre>, <https://en.wikipedia.org/wiki/Meagre_set> ;
  skos:broader psr:-KFSNTTXP-S, psr:-MGJVTWX1-0 ;
  skos:definition """In the mathematical field of general topology, a meagre set (also called a meager set or a set of first category) is a subset of a topological space that is small or negligible in a precise sense detailed below. A set that is not meagre is called nonmeagre, or of the second category. See below for definitions of other related terms. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Meagre_set">https://en.wikipedia.org/wiki/Meagre_set</a>)"""@en, """En topologie, dans le contexte des espaces de Baire, un ensemble maigre (on dit aussi de première catégorie) est une partie d'un espace de Baire qui, en un sens technique, peut être considérée comme de taille infime. Un ensemble comaigre est le complémentaire d'un ensemble maigre. Une partie qui n'est pas maigre est dite de deuxième catégorie. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Ensemble_maigre">https://fr.wikipedia.org/wiki/Ensemble_maigre</a>)"""@fr ;
  a skos:Concept ;
  skos:altLabel "set of first category"@en, "meager set"@en ;
  dc:modified "2023-07-26"^^xsd:date ;
  dc:created "2023-07-21"^^xsd:date ;
  skos:inScheme psr: .