---

Geschrieben von Zephyr31429 am 20.02.2017 um 13:46:

  Formale Verifikation von geordneten Paaren

Hallo zusammen,

ich habe folgendes Problem.
Ich habe eine Menge A.
Ich möchte auf dieser das kartesische Produkt: A x A bilden.
Die resultierende Menge der geordneten Paare (a, b) möchte ich in Bezug auf ein Axiom überprüfen.

Wie kann ich dies am besten machen?

Lassen sich die geordneten Paare als Baum darstellen?
Auf diesem wäre eine Tiefensuche und elementweise Axiom-Überprüfung möglich?

VG Peter