Дистрибутивність

властивість бінарних операцій, визначених на одній множині