Distributivity/Definition

A relation between two binary operations on a set generalising that of multiplication to addition: a(b+c)=ab+ac.