Ø Пустое множество Ø – нуль относительно операции пересечения ∩ и нейтральный элемент относительно операции объединения U. Универсум U – нуль относительно объединения и нейтральный элемент относительно пересечения ∩.
Ø Композиция бинарных отношений на множестве М – бинарная операция. Операция композиции ассоциативна, некоммутативна (доказать!), нейтральным элементом является диагональ множества idM.
Ø Пусть Х – произвольное множество |X|>1. На множестве отображений Φ={φ| φ: X→X} постоянное отображение φa: X→ а (т.е. φa(x)=a) – правый нуль, но не нуль относительно композиции: f▪ φa (x)= φa (f(x))=a; φa ▪f(x)=f(a) ≡ φa ▪f= φf(a).