nom féminin
MATHÉMATIQUES Propriété d'une loi de composition interne ⊤ par rapport à une autre loi de composition interne ⊥ définie sur le même ensemble, telle que, pour a, b, c, éléments quelconques de cet ensemble, on a : a ⊤ (b ⊥ c) = (a ⊤ b) ⊥ (a ⊤ c).
