Na ja, das ist zwar schön und gut, aber nicht ganz richtig. Die Umkehrung der (oberen) Halbkreisfunktion ist ein (rechter) Halbkreis und das ist keine Funktion mehr sondern nur noch eine Relation. Der Definitionsbereich des (oberen) Halbkreises muss geeignet eingeschränkt werden, um eine umkehrbare Funktion zu erhalten.