Assertion: function's element | /r/HasProperty | \displaystyle x_{0
Facets:
Source sentences:
text: If f is injective, for defining g, one chooses an element x 0 {\displaystyle x_{0}} in X (which exists as X is supposed to be nonempty),[note 8] and one defines g by g ( y ) =