Sin pérdida de generalidad

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.A veces es recomendable indicar por qué no existe pérdida de generalidad. Por ejemplo, si una función es simétrica o periódica puede ser más fácil analizarla en un intervalo más pequeño. Asimismo, cuando varias variables tienen un papel similar, a veces no hace falta trabajar con todas sino que basta con trabajar con una de ellas o con unas pocas.