Dedekind-infinite set

proper subset B of A that is equinumerous to A

Categories: