notes for foundations, concerning the properties of a power set