Solution (source code)

= Solution

This relation is reflexive and transitive, but not symmetric: $1\sim0$ whereas $0\not\sim1$. It is therefore not an equivalence relation.