autodistributivité
Étymologie
[modifier le wikicode]- De auto- et distributivité.
Nom commun
[modifier le wikicode]| Singulier | Pluriel |
|---|---|
| autodistributivité | autodistributivités |
| \o.to.dis.tʁi.by.ti.vi.te\ | |
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)