Let the unit be \(\lambda x. true\) and product be \(\land\)
montonicity: \(P_1(x)\leq Q_1(x) \land P_2(x) \leq Q_2(x) \implies (P_1 \land P_2)(x) \leq (Q_1 \land Q_2)(x)\)
If the \(P\) properties hold for a given number, then each of the \(Q\) properties hold
unitality, associativity, symmetry: same as \(\mathbf{Bool}\)