@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:-XZBJ865P-9
  skos:prefLabel "nombre réel"@fr, "real number"@en ;
  a skos:Concept ;
  skos:narrower psr:-MQP80Q94-T .

psr:-D47MRSSJ-D
  skos:prefLabel "ensemble infini"@fr, "infinite set"@en ;
  a skos:Concept ;
  skos:narrower psr:-MQP80Q94-T .

psr:-MQP80Q94-T
  skos:broader psr:-D47MRSSJ-D, psr:-XZBJ865P-9 ;
  skos:definition """ In mathematics, there are several equivalent ways of defining the real numbers. One of them is that they form a complete ordered field that does not contain any smaller complete ordered field. Such a definition does not prove that such a complete ordered field exists, and the existence proof consists of constructing a mathematical structure that satisfies the definition. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Construction_of_the_real_numbers">https://en.wikipedia.org/wiki/Construction_of_the_real_numbers</a>)"""@en, """En mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont : 
<br/>  - les coupures de Dedekind, qui définissent, via la théorie des ensembles, un réel comme l'ensemble des rationnels qui lui sont strictement inférieurs ;
<br/>  - les suites de Cauchy, qui définissent, via l'analyse, un réel comme une suite de rationnels convergeant vers lui. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Construction_des_nombres_r%C3%A9els">https://fr.wikipedia.org/wiki/Construction_des_nombres_r%C3%A9els</a>)"""@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Construction_des_nombres_r%C3%A9els>, <https://en.wikipedia.org/wiki/Construction_of_the_real_numbers> ;
  a skos:Concept ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:prefLabel "construction of the real numbers"@en, "construction des nombres réels"@fr ;
  skos:inScheme psr: ;
  dc:created "2023-08-21"^^xsd:date .