das kartesische Produkt ist eine Verknüpfung von Mengen:
Z x N = {(z, n): z aus Z und n aus N}.
Der Pfeil "→" ist kein Implikationspfeil. Es ist ein Abbildungspfeil. Die rationalen Zahlen Q sind der Bildbereich der Abbildung J: Z x N → Q. Die Abbildung J ist wegen J(a, b) = J(2a, 2b) nicht injektiv, aber surjektiv.
MfG
Mister