Topology: definition of space.