topological_space.complete_lattice source