euclidean relation

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

Categories: