« complétion » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : sections de langues rendues modifiables |
+ définition en topologie |
||
Ligne 10 :
# {{info}} {{angl}} [[complètement|Complètement]] [[automatique]] de la [[saisie]] au [[clavier]].
# {{math}} [[opération|Opération]] d’[[inclusion]] d’une [[structure]] ([[notamment]] un [[espace]] [[métrique]]) dans une autre structure dite complète la plus [[petit]]e [[possible]].
# {{topologie}} En particulier, construction du [[complété]] d'un [[espace métrique]].
# {{philo}} [[achèvement|Achèvement]], [[accomplissement]].
|