Basic_geometric_topology