[Math] An example in the fundamental theorem of equivalence relations

elementary-set-theoryequivalence-relationsrelationsset-partition

I've read about the fundamental theorem of equivalence relations. The idea that an equivalence relation on a set $X$ partitions $X$ is understandable. But the idea that for any partition of $X$ there is an equivalence relation on $X$ is a little weird.

Suppose I partition $\mathbb{N}$ as follows:

$$\{\{\text{primes}>3\},\{\text{even numbers}\},\{1\}\}$$

Then what would be the corresponding equivalence relation?

Best Answer

The equivalence relation would be "belongs to the same set of the partition". Nobody said that it had to be expressed without referring to the partition.

(And where is $9$ in your partition?)