@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:-D47MRSSJ-D
  skos:prefLabel "ensemble infini"@fr, "infinite set"@en ;
  a skos:Concept ;
  skos:narrower psr:-WDT87477-Q .

psr:-WDT87477-Q
  skos:inScheme psr: ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Cocountability>, <https://fr.wikipedia.org/wiki/Cod%C3%A9nombrabilit%C3%A9> ;
  skos:broader psr:-D47MRSSJ-D ;
  skos:definition """En mathématiques, un sous-ensemble codénombrable d'un ensemble <i>X</i> est un sous-ensemble <i>Y</i> dont le complémentaire dans <i>X</i> est un ensemble dénombrable. En d'autres termes, <i>Y</i> contient tous les éléments de <i>X</i> sauf une quantité dénombrable d'entre eux. Par exemple, l'ensemble des rationnels ℚ est un sous-ensemble dénombrable de ℝ donc l'ensemble des irrationnels ℝ\\\\ℚ est un sous-ensemble codénombrable des réels. Si le complémentaire est fini, alors on dit que <i>Y</i> est cofini. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Cod%C3%A9nombrabilit%C3%A9">https://fr.wikipedia.org/wiki/Cod%C3%A9nombrabilit%C3%A9</a>)"""@fr, """In mathematics, a cocountable subset of a set <i>X</i> is a subset Y whose complement in <i>X</i> is a countable set. In other words, <i>Y</i> contains all but countably many elements of <i>X</i>. Since the rational numbers are a countable subset of the reals, for example, the irrational numbers are a cocountable subset of the reals. If the complement is finite, then one says <i>Y</i> is cofinite. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Cocountability">https://en.wikipedia.org/wiki/Cocountability</a>)"""@en ;
  skos:altLabel "cocountability"@en, "codénombrabilité"@fr ;
  a skos:Concept ;
  skos:prefLabel "cocountable subset"@en, "sous-ensemble codénombrable"@fr ;
  dc:created "2023-08-21"^^xsd:date ;
  dc:modified "2024-10-18"^^xsd:date .