Aufgabe:
Untersuchen Sie, ob es sich bei den folgenden Relationen um Äquivalenzrelationen bzw. partielle Ordnungen handelt:
a) {(A,B) : A,B⊆X, es existiert eine bijektive Abbildung f : A→B}, wobei X eine feste Menge ist.
b) {((a,b),(c,d))∈(Q×Q)2 : (a<c)∨(a=c∧b≤d)}
c) {(f,g)∈QQ×QQ : ∀x∈Q : f(x)≤g(x)}, wobei QQ die Menge aller Abbildungen von Q nach Q bezeichnet.
d) {(a,b)∈Z×Z : n teilt a−b}, wobei n∈N