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