عدد طبیعی
اعداد طبیعی یا اعداد صحیح مثبت اعدادی هستند که از یک شروع و تا بینهایت ادامه دارند و برای شمارش (به‌طور مثال در «شش سکه روی میز است») و برای ترتیب (به‌طور مثال در «این سومین شهر بزرگ در کشور است») به کار می‌روند. در اصطلاح‌شناسی ریاضیات، لغت مورد استفاده برای شمارش اشیاء «اعداد ترتیبی» است. مجموعهٔ اعداد طبیعی همان مجموعهٔ اعداد صحیح مثبت یعنی {... ،۱٬۲٬۳} است.
عمل دوتایی
مجموعه اعداد صحیح و عمل جمع اعداد را در نظر بگیرید. عمل جمع اعداد یک عمل دوتایی روی مجموعه اعداد صحیح است و بدیهی است که با توجه به تعریف عمل دوتایی روی formula_2 برای هر دو عدد صحیح a و b عدد a+b نیز عددی صحیح است.