# 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)
