S = {7520, 23, false, {4214, 4454},∅}, T = {Menge, Zahl, ungerade Zahl, Boolean}, (a, b) ∈ R3 ⇔ a ist vom Typ b.
Hier geht es um die einfache Zuweisung
Element \(a\), Typ \(b\)
Dann sind folgende Elemente in \(R3\):
\((7520, \text{Zahl})\), \((23, \text{Zahl})\), \((23,\text{ungerade Zahl})\), \((\text{false}, \text{Boolean})\), \((\{4214,4454\},\text{Menge})\) und \((\emptyset,\text{Menge})\).