Poset construction: If \$$A\$$ is a set, and \$$S\$$ is a poset, then the set of functions from \$$A\$$ to \$$S\$$ is a poset, where \$$f \le g\$$ is defined by \$$f(a) \le g(a)\$$ for all \$$a \in A\$$.