これらの公理は("l", ∨)および("l", ∧)がともに半束となることを要請するものである。