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 a,b,c in H .

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ó.