This definition makes ∨ and ∧ binary operations . Both operations are monotone with respect to the order : and implies that and .
This definition implies ∨ and ∧ binary operations . Both operations are monotone with respect to the order : and makes that and .