====== Disztributív ======
Két műveletet (H;‡,•) véve a másodikra nézve:
  * (a ‡ b) • c = (a • c) ‡ (b • c)
  * c • (a ‡ b) = (c • a) ‡ (c • b)

ahol <m>a,b,c in H</m>.

A két külön eset azért szükséges, mert nem biztos hogy a • művelet kommutatív.

Megjegyezzük, hogy létezik az ún. pszeudó-disztributivitás például a vektorkalkulusban használatos összeadás. Ott a
(a+b) • __v__ = a • __v__ + b • __v__ egyenlőségben az egyik oldalon skalárok összeadásáról, a másik oldalon pedig vektorok összeadásáról van szó.