"dimensjon" er et 9-bokstavers substantiv som brukes som synonym for "Hausdorff". Hausdorff betyr: Antall uavhengige retninger i et rom, relatert til Hausdorff-rom.