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