@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:-BM86WHL4-Z
  skos:prefLabel "monotone convergence theorem"@en, "théorème de convergence monotone"@fr ;
  a skos:Concept ;
  skos:broader psr:-PDDRMW6T-D .

psr: a skos:ConceptScheme .
psr:-PDDRMW6T-D
  skos:broader psr:-MDFZ99KQ-Q, psr:-L2BN0W1T-P ;
  skos:prefLabel "monotonic function"@en, "fonction monotone"@fr ;
  dc:created "2023-08-02"^^xsd:date ;
  skos:narrower psr:-BM86WHL4-Z ;
  skos:definition """In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of order theory. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Monotonic_function">https://en.wikipedia.org/wiki/Monotonic_function</a>)"""@en, """En mathématiques, une fonction monotone est une fonction entre ensembles ordonnés qui préserve ou renverse l'ordre. Dans le premier cas, on parle de fonction croissante et dans l'autre de fonction décroissante. Ce concept est tout d'abord apparu en analyse réelle pour les fonctions numériques et a été généralisé ensuite dans le cadre plus abstrait de la théorie des ordres. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Fonction_monotone">https://fr.wikipedia.org/wiki/Fonction_monotone</a>)"""@fr ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Fonction_monotone>, <https://en.wikipedia.org/wiki/Monotonic_function> ;
  skos:altLabel "monotone function"@en ;
  dc:modified "2023-08-02"^^xsd:date .

psr:-MDFZ99KQ-Q
  skos:prefLabel "fonction numérique"@fr, "real-valued function"@en ;
  a skos:Concept ;
  skos:narrower psr:-PDDRMW6T-D .

psr:-L2BN0W1T-P
  skos:prefLabel "fonction"@fr, "function"@en ;
  a skos:Concept ;
  skos:narrower psr:-PDDRMW6T-D .