This irreflexivity can be used to set up an equivalence relation.
⇑ Translate the sentence above by Google ⇑
Related: relation