the sun index the space
euclidean_space is vector_space. angle is space. measure_space is measurable_space. margin is space. sky is open_space. mathematical_space is space. metric_space is mathematical_space. absolute_space is space. disk_space is space.