זוגיות היא תכונה בסיסית של מספרים שלמים, המחלקת אותם לשתי קבוצות: מספרים זוגיים (המתחלקים ב־2 ללא שארית, כמו 2, 4, 0) ומספרים אי־זוגיים (שאינם מתחלקים ב־2, כמו 7). כל מספר שלם הוא או זוגי או אי־זוגי, ותכונה זו ניתנת להכללה למספרים רציונליים, אך אינה מוגדרת למספרים ממשיים כלליים. מבחינה אריתמטית, חיבור, חיסור, כפל וחזקה פועלים לפי כללים קבועים – למשל, סכום של שני זוגיים הוא זוגי, וחזקה של אי־זוגי היא אי־זוגית. קיימים מבחנים פשוטים לזוגיות: בבסיס עשרוני, מספר הוא זוגי אם ספרת האחדות שלו היא 0, 2, 4, 6 או 8, ובבסיס בינארי – אם ספרת האחדות היא 0. תכונה מיוחדת היא ש־2 הוא המספר הראשוני הזוגי היחיד, וכל שאר הראשוניים הם אי־זוגיים; כמו כן, השערת גולדבך (עדיין לא הוכחה) טוענת שכל מספר זוגי גדול מ־2 ניתן להצגה כסכום של שני ראשוניים.