Topological spaces and properties.