Assertion: function's definition | /r/HasProperty | satisfied
Facets:
Source sentences:
text: g is easily seen to be injective, thus the formal definition of |Y| ≤ |X| is satisfied.)