Ikkinchi bob binar munosabatlar va

10-§. GURUXLAR

A yarimgurux quyidagi ikkita shartni qanoatlantirsa, U gurux deyiladi:

1. 
   shunday element mavjudki, xar qanday element uchun (o`ng birlik elementning mavjudligi);