Theory and examples of point-set topology