Beweis Menge: AxB ist eine Menge

Question

Beweis A x B. wobei A = {1,2,3} und B = {a,b,c}

Answer 1

Eine Funktion ist eine Menge von Paaren, bei der keine 2 verschiedenen

Paare mit gleicher 1. Komponente gibt.

f und g sind solche Mengen von Paaren aus AxB.

Angenommen, f \ g wäre keine Funktion, dann müsste es

in f \ g zwei verschiedene Paare geben mit gleicher 1. Komponente.

Diese Paare sind beide in f ; denn f \ g ist eine Teilmenge

von f.

Also wäre f keine Funktion. Widerspruch!