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\\).