„$x$ und $y$ gehen in dieselbe Klasse“ auf der Menge aller Schüler einer Schule

„$x \ge y$“ auf der Menge $\mathbb{Z}$ der ganzen Zahlen

„$x$ und $y$ sind ungerade“ auf der Menge $\mathbb{N}_{\ge1}$

„$x$ und $y$ besitzen denselben Rest bei der Division durch zwei“ auf der Menge $\mathbb{N}_{\ge1}$

„$x=y$“ auf einer beliebigen, nicht-leeren Grundmenge $M \ne \emptyset$