"separasjon" er et 10-bokstavers substantiv som brukes som synonym for "Hausdorff". Hausdorff betyr: Egenskap ved et rom hvor punkter kan skilles med åpne sett.