TODO: New stucture for defining topological spaces (specifying open sets) Fix open/closed sets check Add tests Add cli argument parsing for input