cleanup section on image of a preimage versus preimage of an image in settheory
settheory: add proof that the collection of preimages of a cover of an image of S is a cover of S
give set theory page a title & add to index
add proof that the image of a continuous function on a compact metric space is compact
add a secton on union of preimage versus preimage of union