@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:-JHZ8CHVS-S
  skos:exactMatch <https://en.wikipedia.org/wiki/Proper_map>, <https://fr.wikipedia.org/wiki/Application_propre> ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:definition """In mathematics, a function between topological spaces is called proper if inverse images of compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Proper_map">https://en.wikipedia.org/wiki/Proper_map</a>)"""@en, """En mathématiques, une application est dite propre si elle vérifie une certaine propriété topologique. La définition la plus courante, valable pour une application continue d'un espace séparé dans un espace localement compact, est que l'application est propre si l'image réciproque de toute partie compacte de l'espace d'arrivée est compacte. Cette définition est équivalente, dans ce contexte, à la définition générale : une application (non nécessairement continue et entre espaces topologiques quelconques) est propre si elle est « universellement fermée ». 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Application_propre">https://fr.wikipedia.org/wiki/Application_propre</a>)"""@fr ;
  skos:prefLabel "application propre"@fr, "proper map"@en ;
  dc:created "2023-07-21"^^xsd:date ;
  skos:broader psr:-KFSNTTXP-S ;
  dc:modified "2023-07-21"^^xsd:date .

psr: a skos:ConceptScheme .
psr:-KFSNTTXP-S
  skos:prefLabel "general topology"@en, "topologie générale"@fr ;
  a skos:Concept ;
  skos:narrower psr:-JHZ8CHVS-S .