Отношение эквивалиентности - это бинарное отношение $\sim$ на $X$, если $\forall x,x',x''\in X$ выполнены условия:
1. Рефлективность: $x\sim x$
2. Симметричность: $x\sim x' \implies x' \sim x$
3. Транзитивность: $x \sim x'\wedge x' \sim x''$

$a \nsim b$ обозначает отрицание эквивалентности