Genelliği kaybetmeden
Genelliği kaybetmeden veya daha az kullanılan şekliyle genellikten hiç kayıp vermeden, matematikte sıkça kullanılan bir deyimdir. Bu deyim önermenin örneklem kümesini daraltarak analizin kapsamını küçülten bir ispat geliştirirken, bir varsayımdan önce kullanılır; ispatın bu altkümedeki geçerliliğinin tüm kümeye genelleştirilebileceğini ima eder. Böylece önermenin kaynak kümesinin bir altkümesinde gerçekleştirilen bir "alt-ispat"tan elde edilen sonuçların anaküme için de geçerli olacağını ifade eder.