Definition:Choice Function on Power Set