Ez a dokumentum egy előző változata!
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
egyenlőségben az egyik oldalon skalárok összeadásáról, a másik oldalon pedig vektorok összeadásáról van szó.