Produktmenge zweier Mengen
Die Produktmenge zweier Mengen A und B ist die Menge aller geordneten Paare (a,b) mit \(ain A,bin B\):
\(Atimes B=left { xmid x=(a,b)wedge ain A wedge bin Bright }\)
Die Produktmenge zweier Mengen A und B ist die Menge aller geordneten Paare (a,b) mit \(ain A,bin B\):
\(Atimes B=left { xmid x=(a,b)wedge ain A wedge bin Bright }\)