euclidean relation

Also known as right-Euclidean relation, left-Euclidean relation

relation ∼ such that, for every a, b, c, if a∼b and a∼c, then b∼c