Meet and Join as Relations
When, in the preceding chapter, we had pairs (and so iterated also tuples), we immediately proceeded to handling binary mappings with relational means. This concerned the very general concepts such as being commutative, distributive, or associative. A more specific law concerns absorption mainly occurring in one traditional environment, namely for binary meets and joins. They will be handled here accordingly when the following cone mappings are available.
- [Sch11]Gunther Schmidt. Relational Mathematics, volume 132 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 2011. ISBN 978-0-521-76268-7, 584 pages.Google Scholar