13.7. TételTermészetes számpárok relációja ekvivalenciarelációA 13.1. Definíció szerinti ∼ reláció egy ekvivalenciareláció az N×N halmaz felett.♣↓Alárendelt lap:Bizonyítás