Keith: yes, in resource theory we say \\(x \le y\\) when given \\(y\\), there exists a way to get \\(x\\).

In fact Fong and Spivak write \\( y \to x \\) for this, which is perhaps slightly clearer. But it's just a different notation for the same thing.

In fact Fong and Spivak write \\( y \to x \\) for this, which is perhaps slightly clearer. But it's just a different notation for the same thing.