Topology: more on continuity,

not that many contributions, but cleared up a proof that
took a very long time. More attention should be given to
how generic functions between sets compose with set-theoretical
operations, somewhere in the beginning of the book.