Azimuth Forum
Visit Site
Preorder construction: If \\(A\\) is a set, and \\(S\\) is a preorder, then the set of functions from \\(A\\) to \\(S\\) is a preorder, where \\(f \le g\\) is defined by \\(f(a) \le g(a)\\) for all \\(a \in A\\).
Version 2.1.8p2