Universal property of joins and meets in a poset

Written by Patrick Stevens last updated
state the UP of the product, using the divisibility in example and the example of subsets of
state the UP of the coproduct, showing that it's the same as the product in
relate the product and coproduct UPs to the general concepts