Assertion: function's element | /r/HasProperty | the value of f(x
Facets:
Source sentences:
text: The function is surjective because every element in the codomain is the value of f(x) for at least one element x in the domain.