Příklad. Předpokládejme, že množiny A,B,C jsou libovolné podmnožiny množiny J. Dokažme, že platí následující vztahy: A∪B⊂J, A∩B⊂J. A∪B=B∪A, A∩B=B∩A.