מנייה היא הפעילות של מציאת מספר העצמים הנכללים בקבוצה סופית נתונה, או הפרדת מספר נתון של עצמים מתוך קבוצה נתונה. פעולת המנייה נעשית בדרך כלל באמצעות יצירת התאמה חד-חד ערכית בין הקבוצה הנספרת ובין קבוצת המספרים הטבעיים לפי סדרה, החל מ-1 (ובמילים פשוטות יותר, ספירה היא הפעולה של אמירת או כתיבת שמות המספרים 1, 2, 3, וכו', ללא קשר עם קבוצה). תוצאתה של פעולת המנייה היא קבלת מספר מונה, המשקף את מספר העצמים בקבוצה.