Assertion: composition | /r/HasProperty | defined in same way
Facets:
value: for partial functions
type: PURPOSE
Source sentences:
text: The composition is defined in the same way for partial functions and Cayley's theorem has its analogue called the Wagner–Preston theorem.