er et sæt et element i dens effektsæt
Power sæt - I matematik, effektsættet (eller powerset) af ethvert sæt S er det sæt af alle delmængder af S, herunder det tomme sæt og S selv, forskelligt betegnet som P (S), P (S),   ~ (S) (ved hjælp af " Weierstrass p " ), P (S), P (S), eller, identificere powerset af S med det sæt af alle funktioner fra S til et givet sæt af to elementer, 2. I aksiomatisk sæt teori (som udviklet, for eksempel i ZFC aksiomer), eksistensen af power sæt af ethvert sæt er postuleret af aksiom af power sæt.