Prädikat auf dem Kreuzprodukt zweier Mengen definieren - Ist das möglich?
Darf ich auf dem Kreuzprodukt zweier Mengen ein Prädikat definieren und wie funktioniert das genau? Ja, es ist möglich, auf dem Kreuzprodukt zweier Mengen ein Prädikat zu definieren. Dabei handelt es sich um eine Relation auf dem Universum, das aus geordneten Paaren besteht. Ein Prädikat P ist eine einstellige Relation, während ein Prädikat Q eine zweistellige Relation auf dem Universum ist.