Some point set topology

We shall accept as primitive (undefined) the concepts of a set (collection, family) of objects and the concept of an object belonging to a set.