@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:-D47MRSSJ-D
  skos:prefLabel "infinite set"@en, "ensemble infini"@fr ;
  skos:narrower psr:-ZZP0ZV17-4, psr:-SRG67X04-C, psr:-GS2F3HQV-K, psr:-SFSW7XPM-D, psr:-WDT87477-Q, psr:-C29NNV79-M, psr:-MQP80Q94-T ;
  a skos:Concept ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Ensemble_infini>, <https://en.wikipedia.org/wiki/Infinite_set> ;
  skos:inScheme psr: ;
  skos:definition """In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Infinite_set">https://en.wikipedia.org/wiki/Infinite_set</a>)"""@en, """En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers. Un ensemble en bijection avec un ensemble infini est donc infini.
<br/>Tout ensemble contenant un ensemble dénombrable est infini. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Ensemble_infini">https://fr.wikipedia.org/wiki/Ensemble_infini</a>)"""@fr ;
  skos:broader psr:-QLGNKBD8-R ;
  dc:modified "2024-10-18"^^xsd:date .

psr:-QLGNKBD8-R
  skos:prefLabel "ensemble"@fr, "set"@en ;
  a skos:Concept ;
  skos:narrower psr:-D47MRSSJ-D .

psr:-SRG67X04-C
  skos:prefLabel "aleph"@fr, "aleph number"@en ;
  a skos:Concept ;
  skos:broader psr:-D47MRSSJ-D .

psr:-MQP80Q94-T
  skos:prefLabel "construction des nombres réels"@fr, "construction of the real numbers"@en ;
  a skos:Concept ;
  skos:broader psr:-D47MRSSJ-D .

psr: a skos:ConceptScheme .
psr:-SFSW7XPM-D
  skos:prefLabel "continuum hypothesis"@en, "hypothèse du continu"@fr ;
  a skos:Concept ;
  skos:broader psr:-D47MRSSJ-D .

psr:-WDT87477-Q
  skos:prefLabel "cocountable subset"@en, "sous-ensemble codénombrable"@fr ;
  a skos:Concept ;
  skos:broader psr:-D47MRSSJ-D .

psr:-ZZP0ZV17-4
  skos:prefLabel "construction des entiers naturels"@fr, "set-theoretic definition of natural numbers"@en ;
  a skos:Concept ;
  skos:broader psr:-D47MRSSJ-D .

psr:-C29NNV79-M
  skos:prefLabel "Cantor's diagonal argument"@en, "argument de la diagonale de Cantor"@fr ;
  a skos:Concept ;
  skos:broader psr:-D47MRSSJ-D .

psr:-GS2F3HQV-K
  skos:prefLabel "ensemble infini non dénombrable"@fr, "uncountable set"@en ;
  a skos:Concept ;
  skos:broader psr:-D47MRSSJ-D .