That is, the natural numbers are closed under equality.
یعنی اعداد طبیعی تحت تساوی بسته‌اند.