Azimuth Forum
Visit Site
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\\).
Version 2.1.8p2