title: Distributiviteit
text: 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.
  
  Definitie
  Gegeven een verzameling  en daarop de binaire operaties  en . Dan heet de operatie  
  
   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 .
  
  Voorbeelden
   Vermenigvuldiging van getallen is distributief over de optelling van getallen voor een brede klasse van de verschillende soorten getallen, variërend van de natuurlijke getallen tot de complexe getallen en de kardinaalgetallen. 
   Vermenigvuldiging van ordinale getallen is in contrast daarmee alleen links-distributief en niet rechts-distributief. 
   Matrixvermenigvuldiging is distributief over matrixoptelling, ook al is matrixvermenigvuldiging niet commutatief. 
   De vereniging van verzamelingen is distributief over de doorsnede, en de doorsnede is distributief over de vereniging. De doorsnede is dus distributief over het symmetrische verschil. 
   Logische disjunctie ( "of") is distributief over logische conjunctie ( "en"), en de conjunctie is distributief over disjunctie. Conjunctie is dus distributief over exclusieve disjunctie ( "xor"). 
   Voor reële getallen (en voor elke totaal geordende verzameling) is de operatie 'maximum' distributief over de operatie 'minimum', en omgekeerd
  
   Voor gehele getallen is de grootste gemene deler distributief over het kleinste gemene veelvoud, en omgekeerd 
  
   Voor reële getallen is optelling distributief over de operatie 'maximum', en dus ook over de operatie 'minimum'.
   
  
  Niet geheel toevallig zijn dit allemaal voorbeelden van specifieke booleaanse algebra's,
  een algebraïsche structuur waar distributiviteit een belangrijke eigenschap is.
  
  Zie ook
  Commutativiteit
  Associativiteit
  
  Abstracte algebra
  Algebra