Dedekind infinite#Dedekind-infinite sets in ZF