Ikkinchi bob binar munosabatlar va

ko`rinishlarga ega buladi (ixtiyoriy natural sonlar).

T a ` r i f . A to`plamda binar amal berilgan bo`lsin. Agar elementxar qanday aA element uchun tenglikni qanoatlantirsa, bu e element berilgan amalga nisbatan birlik element deyiladi.