Absorption (mathematics): Difference between revisions
Jump to navigation
Jump to search
imported>Bruce M. Tindall mNo edit summary |
Pat Palmer (talk | contribs) (correction link to conjunction) |
||
(One intermediate revision by one other user not shown) | |||
Line 9: | Line 9: | ||
Examples include | Examples include | ||
* In [[set theory]], [[intersection]] and [[union]]; | * In [[set theory]], [[intersection]] and [[union]]; | ||
* In [[propositional logic]], [[conjunction | * In [[propositional logic]], [[Conjunction (logical and)|conjunction (logical and)]] and [[disjunction]] (logical or); | ||
* In a [[distributive lattice]], [[join]] and [[meet]]; | * In a [[distributive lattice]], [[join]] and [[meet]]; | ||
* In a [[linear order|linearly ordered]] set, [[minimum]] and [[maximum]]; | * In a [[linear order|linearly ordered]] set, [[minimum]] and [[maximum]]; |
Latest revision as of 13:24, 18 November 2022
In algebra, absorption is a property of binary operations which reflects an underlying order relation.
Sometimes called the "absorption law", it is one of the defining properties of a lattice:
Examples include
- In set theory, intersection and union;
- In propositional logic, conjunction (logical and) and disjunction (logical or);
- In a distributive lattice, join and meet;
- In a linearly ordered set, minimum and maximum;
- In the integers, highest common factor and least common multiple;
References
- A.G. Howson (1972). A handbook of terms used in algebra and analysis. Cambridge University Press, 76. ISBN 0-521-09695-2.