Sin pérdida de generalidad es una expresión utilizada en las demostraciones matemáticas y que introduce una suposición particular, de tal manera que el caso general pueda mostrarse que es equivalente a ese caso particular. Cuando esto sucede, dicha suposición o elección particular es irrelevante para la demostración, y presenta la ventaja de que permite reducir la extensión de la demostración reduciendo el número de casos que hay que analizar.