Ikkinchi bob binar munosabatlar va

Agar ixtiyoriy ni olib, sifatida ni olsak (-birlik aks ettirish o`zgartirishlar guruxining ta`rifidagi ) shartga ko`ra N ga tegishli, ya`ni xar qanday uchun (refleksivlik).