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.