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.