„Einungur“: Munur á milli breytinga

; [[Tengiregla|Tengni]]: Fyrir öll ''a'', ''b'' og ''c'' í ''S'' þá er (''a'' • ''b'') • ''c'' það sama og ''a'' • (''b'' • ''c'').

; [[Hlutleysa]]: Til er ''e'' í ''S'' þannig að ''e'' • ''a'' = ''a'' • ''e'' = ''a'' fyrir öll ''a'' í ''S''.

 

== Tilvísanir ==