„$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}}_{\ge 1}$

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

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