Definition:Power Set (Class Theory)