For example, if R is an equivalence relation, J may be chosen as the empty relation, or as R itself, and P as its complement.
Wenn R z. B. eine Äquivalenzrelation ist, kann J als die leere Relation oder als R selbst und P jeweils als Komplement R\J gewählt werden.