|
|
| (4 intermediate revisions by 3 users not shown) |
| Line 1: |
Line 1: |
| − | Given two [[binary operation]]s, <math>\times</math> and <math>+</math>, acting on a set <math>S</math>, we say that <math>\times</math> has the '''distributive property''' over <math>+</math> (or <math>\times</math> ''distributes over'' <math>+</math>) if, for all <math>a, b, c \in S</math> we have
| + | #REDIRECT [[Distributive Property]] |
| − | | |
| − | <math>a\times(b + c) = (a\times b) + (a \times c)</math> and <math>(a + b) \times c = (a \times c) + (b \times c)</math>.
| |
| − | | |
| − | Note that if the operation <math>\times</math> is [[commutative property | commutative]], these two conditions are the same, but if <math>\times</math> does not commute then we could have operations which ''left-distribute'' but do not ''right-distribute'', or vice-versa.
| |
| − | | |
| − | | |
| − | Also note that there is no particular reason that distributivity should be one-way, as it is with conventional multiplication and addition. For example, in a [[distributive lattice]], each of the operations [[meet]] and [[join]] distributes over the other.
| |
| − | | |
| − | | |
| − | {{stub}}
| |
