برای هر a و b، اگر b یک عدد طبیعی بوده و a = b، در آن صورت a نیز یک عدد طبیعی است؛ یعنی اعداد طبیعی تحت تساوی بسته‌اند .
barˈɑje har (en)ˈeɪ(fa) vˈa (en)bˈiː(fa) ˌaɡˈar (en)bˈiː(fa) jˈek ˈadad tˌabiʔˈi bˈuːdeː vˈa (en)ˈeɪ(base)(fa) ˌalɑmˌatemˈosɑvˌi (en)bˈiː(fa) dˈar ɑn sˈurat (en)ˈeɪ(fa) nˈiz jˈek ˈadad tˌabiʔˈi ˈast jˈaʔni ˈaʔdɑd tˌabiʔˈi tˈahte tasˈɑvi bˈasteːˈand .