קומבינטוריקה, ספירה כפולה

ספירה כפולה היא טכניקת הוכחה קומבינטורית שבה כמות נספרת בשתי דרכים שונות. השוואת שני הביטויים המתקבלים יכולה להוביל להוכחת זהויות או אי-שוויונים. שאלות דורשות זיהוי קבוצה שניתן לספור בכמה דרכים.