De Morgan's laws
An equivalent signature better suited to the relation algebra application is ("L", ∧, ∨, ¬, 0, 1, •, I, ▷, ◁) where the unary operations "x"\ and "x"▷ are intertranslatable in the manner of De Morgan's laws via