Bi proposizioren arteko erlazioa, zeinean eratutako proposizio konposatua egiazkoa izan dadin osagai diren proposizio bakunek ere egiazkoak izan behar duten ("eta" hitzaz adierazia; & edo ∧ ikurrez adierazia).

Aldi berean bi multzoren edo gehiagoren barnean dauden elementuak aurkitzeko eragiketa; ondorioz, multzoen arteko ebakidura lortzen da. Ebaketa adierazteko, ∩ ikurra erabiltzen da eta ebaki irakurtzen da. Adibidez, A eta B multzoen ebakidura A ∩ B da (A ebaki B).