topological space that at each point resembles Euclidean space (unspecified type)