Professional Documents
Culture Documents
a ? b ≤ a, a ? b ≤ b
3
∀ (a, b, x) ∈ E ,
(x ≤ a) et (x ≤ b) ⇒ x ≤ a ? b
Indications ou résultats
a ? (b ? c) = (b ? c) ? a = (c ? b) ? a ≤ c ? (b ? a) = (a ? b) ? c