In de wiskunde en in het bijzonder in de abstracte algebra is distributiviteit een eigenschap van binaire operaties, die de distributieve wet uit de elementaire algebra generaliseert. Bij het gewone rekenen is vermenigvuldigen distributief over optellen, bijvoorbeeld:
- 2 × (1 + 3) = 2×1 + 2×3.
Het linkerlid van deze gelijkheid bestaat uit het product van het getal 2 en de som van de getallen 1 en 3, terwijl het rechterlid de som is van de afzonderlijke producten van het getal 2 met enerzijds het getal 1 en anderzijds het getal 3. In plaats van eerst de optelling te doen en daarna de vermenigvuldiging met het resultaat, kan ook eerst de vermenivuldiging met de beide summanden afzonderlijk uitvoeren en vervolgens de resultaten optellen. De vermenigvuldiging "verdeelt" zich als het ware over de optelling.
Gegeven een verzameling
en daarop de binaire operaties
en
. Dan heet de operatie ![{\displaystyle *}](//wikimedia.org/api/rest_v1/media/math/render/svg/8e9972f426d9e07855984f73ee195a21dbc21755)
- links-distributief over
, als voor alle elementen
geldt:
;
- rechts-distributief over
, als voor alle elementen
geldt:
;
- distributief over
als de operatie
zowel links- als rechts-distributief is over
.
![{\displaystyle \max(a,\min(b,c))=\min(\max(a,b),\max(a,c))}](//wikimedia.org/api/rest_v1/media/math/render/svg/4ac04f972bb190bbb2d77f9551f307e74187e239)
![{\displaystyle \min(a,\max(b,c))=\max(\min(a,b),\min(a,c))}](//wikimedia.org/api/rest_v1/media/math/render/svg/09a6b5f51061d8cfc73dcc911a31053008f65999)
![{\displaystyle \mathrm {ggd} (a,\mathrm {kgv} (b,c))=\mathrm {kgv} (\mathrm {ggd} (a,b),\mathrm {ggd} (a,c))}](//wikimedia.org/api/rest_v1/media/math/render/svg/8b5257e4d36c36f7830e13ed110ace59b97bbd5d)
![{\displaystyle \mathrm {kgv} (a,\mathrm {ggd} (b,c))=\mathrm {ggd} (\mathrm {kgv} (a,b),\mathrm {kgv} (a,c))}](//wikimedia.org/api/rest_v1/media/math/render/svg/96c39a09b38eb8e86f37d43eb1ae49453d8cb11b)
- Voor reële getallen is optelling distributief over de operatie 'maximum', en dus ook over de operatie 'minimum'.
![{\displaystyle a+\max(b,c)=\max(a+b,a+c)}](//wikimedia.org/api/rest_v1/media/math/render/svg/4b958bf8e02f8da00cd02ac18332734dbf11ff9f)
![{\displaystyle a+\min(b,c)=\min(a+b,a+c)}](//wikimedia.org/api/rest_v1/media/math/render/svg/cc0d72b82db1fe071f8df72d87e74cf0d8ce0401)
Niet geheel toevallig zijn dit allemaal voorbeelden van specifieke booleaanse algebra's,
een algebraïsche structuur waar distributiviteit een belangrijke eigenschap is.