There you go. Just follow the definition and see where it leads.

**Note**: in comments #5 and #6, Keith and Jonathan were figuring out what a \\(\mathbf{Cost}\\)-category was based on my original _wrong_ definition of this preorder! In fact you have to deliberately turn around the definition of \\(\le\\) to get something good here. I've subsequently fixed my lecture.