Minor new theorems for maps.
minor set theorems added.