@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:-Q4S38X2S-L
  skos:prefLabel "cardinality"@en, "cardinalité"@fr ;
  a skos:Concept ;
  skos:narrower psr:-KKCX0HJH-8 .

psr:-KKCX0HJH-8
  skos:definition """In mathematics, a pairing function is a process to uniquely encode two natural numbers into a single natural number.
<br/>Any pairing function can be used in set theory to prove that integers and rational numbers have the same cardinality as natural numbers. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Pairing_function">https://en.wikipedia.org/wiki/Pairing_function</a>)"""@en, """En mathématiques, une fonction de couplage, est une méthode permettant d’attribuer de manière unique un entier naturel à un couple d'entiers naturels. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Fonction_de_couplage">https://fr.wikipedia.org/wiki/Fonction_de_couplage</a>)"""@fr ;
  skos:prefLabel "fonction de couplage"@fr, "pairing function"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Pairing_function>, <https://fr.wikipedia.org/wiki/Fonction_de_couplage> ;
  skos:broader psr:-Q4S38X2S-L ;
  skos:inScheme psr: ;
  dc:modified "2024-10-18"^^xsd:date ;
  dc:created "2023-08-21"^^xsd:date ;
  a skos:Concept .