Zuordnung Abbildung surjektiv injektiv bijektiv
Als Zuordnung einer Menge A zu einer Menge B versteht man jede Menge geordneter Paare (a,b) mit a∈A und b∈B, also jede Teilmenge des kartesischen Produkts A×B. Eine Abbildung von A nach B ist eine spezielle Zuordnung, welche die gesamte Menge A erfasst aber jedes Element daraus nur einmal. Surjektiv heißt eine Abbildung von A nach B, welche die Gesamte Menge B erfasst. Injektiv heißt eine Abbildung von A nach B, welche jedes Elemente aus B höchstens einmal erfasst. Eine Abbildung von A nach B, die injektiv und surjektiv ist, heißt bijektiv.