Sei ''o. B. d. A.'' <math>j>i</math>, dann gilt <math>j+1 > i+1</math>
''[[Mathematik]]:'' [[ohne Beschränkung der Allgemeinheit]]; wird verwendet, wenn in einem Beweis eine Fallunterscheidung ansteht, man aber nur einen Teilfall wirklich behandelt, weil die anderen offensichtlich analog zu behandeln wären oder trivial sind, was man mit diesem Ausdruck vorab kundtut. Es folgt ihm unmittelbar eine den behandelten Fall kennzeichnende Annahme.