Nach meiner Beobachtung ist die allerhäufigste Verwendung des Begriffes Wohldefiniertheit die Widerlegung der Mehrdeutigkeit, insbesodere bei Definitionen von Operationen auf Äquivalenzklassen, für die die Eindeutigkeit (und damit die Wohldefiniertheit der soeben getätigten Definition) nachträglich gezeigt werden MUSS (so z.B. in Gruppentheorie#Faktorgruppe). -- Nomen4Omen 16:29, 8. Okt. 2022 (CEST)