Topology: closed set formulation, primes