Assertion: function's domain | /r/HasProperty | y of g.
Facets:
Source sentences:
text: In other words, g is a right inverse of f if the composition f o g of g and f in that order is the identity function on the domain Y of g.