for X being set
for N being Cardinal st N c= card X holds
ex Y being set st
( Y c= X & card Y = N )