Upper bound in a partially ordered set

ID: upper-bound-in-a-partially-ordered-set

An upper bound of a subset of a partially ordered set is an element satisfying for every .

New to topics? Read the docs here!