עקרונות מנייה בסיסיים הגדרות מכפלה ישרה: עבור קבוצות A,B המכפלה הישרה מוגדרת כך: {} יחס בינארי: קבוצה  (עבור A,B קבוצות) נקראת יחס בינארי עקרון הסכום המוכלל: אם קבוצות זרות בזוגות אז עקרון המכפלה המוכלל: אם קבוצות אז תמורה: סידור של איברים בשורה נקרא תמורה (פרמוטציה) של האיברים n,…,2,1
טענות עבור קבוצות סופיות יהי יחס בינארי, ונניח שלכל קיים אזי משפט: מספר הסדרות באורך k של איברים של קבוצה A בגודל n הוא הערה: קיימת התאמה חח"ע ועל בין התמורות של לפונקציות חח"ע. ואם לכל פונקציה כזו נרשום את התמורה טענה: מספר התמורות של [n] הוא משפט: מספר האפשרויות לבחור סידור של k איברים מתוך [n] הוא משפט: לכל k בין 0 ל-n מספר האפשרויות לבחור תת-קבוצה בגודל k מתוך קבוצה בגודל  n הוא משפט: מספר האפשרויות לבחור k איברים מתוך n כאשר הסדר לא משנה הוא הערה: מהמשפט האחרון נובע כי מספר הפתרונות לא השיוויון כאשר הוא מקדם בינומי הגדרות מקדם בינומי: זהו מספר האפשרויות לבחור k מתוך n כאשר הסדר לא חשוב וחזרות אסורות, ומסומן אונימודלית: סדרת של מספרים תקרא אונימודלית אם יש כך ש וכן הרחבת המדקם הבינומי: n ממשי, k שלם אי-שלילי בפרט, לפיכך, עבור שלם המקדם המולטינומי: עבור שלמים ו המקדם המולטינומי שמסומן מוגדר כך: , המקדם המולטינומי הוא מספר האפשרויות לסדר בשורה n איברים, מהם פעמים i לכל טענות משפט: לכל שלם הערה: טענה: לכל טענה: זהות פסקל- משפט: יהי שלם אזי א) אם n   זוגי                                                     ב) אם n  אי-זוגי מסקנה: לכל n הסדרה היא אונימודלית טענה: לכל טענה: לכל n טענה: לכל באופן שקול סדרות מאוזנות ומספרי קטלן –