identity is an equivalence relation