Every equivalence relation with countable classes is the orbit relation of one permutation

Initializing...

Every equivalence relation with countable classes is the orbit relation of one permutation · Prove2Me