Episode I

Alice és Bob

. rész: Természetes számpárok ekvivalenciarelációjára vonatkozó tétel

A 13.1. Definíció szerinti \sim reláció egy ekvivalenciareláció az \N \times \N halmazon.