Talk:Ternary equivalence relation