DéfinitionsHausdorff

Hausdorff

nom de famille · adjectif
nom de famille
  1. Nom de famille allemand.
adjectif
  1. Topologie(Rare) Séparé (dont deux points distincts quelconques admettent toujours des voisinages disjoints, en parlant d’un espace topologique).Cet espace est Hausdorff.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.