text: # autodistributivité
  
  ## Français
  
  ### Étymologie
  
      De auto- et distributivité.
  
  ### Nom commun
  
  autodistributivité \o.to.dis.tʁi.by.ti.vi.te\ féminin
  
  * (Algèbre) Distributivité au sein d’une même opération.
     * On montre que les plongments élémentaires associés à un cardinal de Laver sont munis d'une opération binaire naturelle, l’application, obéissant à la loi d’autodistributivité à gauche. — (Patrick Dehornoy, La Théorie des Ensembles, C&M, 2017, p. 528)
  