Yes. that's exactly what I mean.
I do know what an equivalence relation is, but I got stuck at proving the reflexivity.
is this trivial? Or how would I prove that?
Once I understand how to prove that, I think I'd be able to prove symmetry and transitivity.