Les équivalences qui relient deux opérateurs binaires en distribuant l'un sur l'autre ; en logique booléenne les deux formes sont A ∧ (B ∨ C) ↔ (A ∧ B) ∨ (A ∧ C) et A ∨ (B ∧ C) ↔ (A ∨ B) ∧ (A ∨ C).
Loi de compatibilité entre deux opérations binaires · et + sur un ensemble affirmant que a·(b + c) = a·b + a·c et (b + c)·a = b·a + c·a pour tous les éléments, de sorte qu'une opération se distribue sur l'autre.
Relation entre deux opérations binaires indiquant que l'une distribue sur l'autre, typiquement écrite a·(b + c) = a·b + a·c (distributivité à gauche) et (b + c)·a = b·a + c·a (à droite) lorsque les deux tiennent.