Power Sets, Cartesian Products and Cardinality | NoteLib