Ohne Beschränkung der Allgemeinheit, abgekürzt o. B. d. A., ist eine in mathematischen Beweisen vorkommende Formulierung. Darüber hinaus wird auch die Formulierung ohne Einschränkung der Allgemeinheit (o. E. d. A.) oder kurz ohne Einschränkung (o.E. oder als Ligatur Œ) verwendet.
Mit diesen Formulierungen wird zum Ausdruck gebracht, dass eine Einschränkung (z. B. des Wertebereichs einer Variablen) nur zur Vereinfachung der Beweisführung vorausgesetzt wird (insbesondere zur Verringerung der Schreibarbeit), ohne dass die Gültigkeit der im Anschluss getroffenen Aussagen in Bezug auf die Allgemeinheit darunter leidet. Der Beweis wird nur für einen von mehreren möglichen Fällen geführt. Dies geschieht unter der Bedingung, dass die anderen Fälle in analoger Weise bewiesen werden können (z. B. bei Symmetrie).
Durch o. B. d. A. können auch triviale Sonderfälle übergangen werden.