Referenz: @henze2019
Definition: Ohne Beschränkung der Allgemeinheit
Hinter der Floskel ohne Beschränkung der Allgemeinheit, manchmal auch ohne Einschränkung der Allgemeinheit oder einfach ohne Einschränkung verbirgt sich oft der Versuch, Beweise übersichtlicher zu gestalten.
Häufig nutzt man den Ausdruck in Situationen, in denen man bestimmte Annahmen über Variablenbelegungen treffen muss, die andersherum aber auch gültig wären.
Beispielsweise: sei o.B.d.A.
und . Dann könnte auch und gelten, der Beweis müsste dann aber weiterhin gültig sein. Die Nutzung von o.B.d.A. ist aber nur dann zulässig, wenn wirklich der allgemeine Fall bewiesen wird.