ללא הגבלת הכלליות – הבדלי גרסאות

שימוש נפוץ במונח הוא כשרוצים להוכיח טענה על שני [[משתנה|משתנים]], x ו-y שונים, השייכים ל[[קבוצה (מתמטיקה)|קבוצה]] כלשהי, שאין להם מאפיינים נוספים. ההוכחה עשויה לפתוח במשפט "נניח ללא הגבלת הכלליות כי x<y". הנתון החדש הזה עשוי לעזור בהוכחת הטענה ומצד שני הוא לא פוגם בנכונותה למקרה הכללי כי ההוכחה למקרה y<x אנלוגית לחלוטין.

 

 

==דוגמאות==