Аксиомы и тождества алгебры Кантора

В общем случае алгебра - это совокупность несущего множества и некоторых операций, заданных на нем. В алгебре Кантора (алгебре множеств) несущим множеством является булеан универсума, на котором заданы три операции: одноместная операция НЕ (`), двуместные операции И (Ç) и ИЛИ (È). Обозначение алгебры Кантора: А<sub>к</sub> = <P(1), `, Ç, È >.Операции на множествах подчинены простым законам, перекликающимся с аксиомами алгебры чисел, но не совпадающим с ними. Аналогом операции Ç в алгебре чисел является операция умножения, операции È - сложение. Однако эти аналогии в значительной степени внешние. Законы алгебры множеств более универсальны, чем алгебры чисел.