Die Menge der ganzen Zahlen kann in zwei disjunkte Klassen
eingeteilt werden, die geraden und die ungeraden ganzen Zahlen.
Dem liegt zugrunde die Relation a~b  : ⇔  2 | a-b   
(Also a -b ist gerade ).
Das ist sogar eine Äquiv.rel.
denn für jedes x aus Z gilt  x ~ x weil   x-x = 0 durch 2 teilbat ist
und wenn   a~b  dann auch b ~a  also symm.
und transitiv auch:
a~b  und b ~c  ⇒ a ~ c.
Die o.g. Klassen sind die Äquiv.klassen dieser Relation.
siehe auch https://www.mathelounge.de/172865/relation-beweisen-oder-widerlegen-ist-aquivalenzrelation