Why does the symmetric group on an infinite set X have the cardinality of the power set ${\cal P}(X)$?