Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Démonstration du théorème suivant: Soient: E un ensemble; R une relation d'équivalence dans E; l'application canonique: E -> E/R; φ l'extension de φ aux ensembles des parties β(E); R la relation d'équivalence dans β(E), associée à l'application φ ; ψ l'application canonique; β(E)/R. Dans ces conditions, ψ est identique à φ et β(E)/R = β(E/R).
