Teiler(a) und Teiler(b) sind jeweils Mengen möglicher Teiler für a, b. Und der größte gemeinsame Teiler ist dann doch Teiler(a) geschnitten mit Teiler (b) gemeinsame Teiler und dann max(Teiler(a), Teiler(b)) ist dann die Menge mit genau einem Element und zwar der größte gemeinsame Teiler, oder nicht?
Abbildungsvorschrift:
ggT: N^2 -> N, (a, b) -> ggT(a, b)
Ist das Bild von ggT in diesem Fall immer genau eine natürliche Zahl, mindestens die 1?