space slope describes an mirror of space
euclidean_space is vector_space. swap_space is disk_space. phase_space is space. subarachnoid_space is space. void is space. measure_space is measurable_space. euclidean_space is real_vector_space. point_in_space is homogeneous_space_region.