Principle - Topology is just a set of subsets (upcoming)

This is a stub I gotta complete by friday lol