Assertion: algebra's operation | /r/CapableOf | combine any two objects
Facets:
value: to a third
type: TRANSITIVE-OBJECT
Source sentences:
text: A group is a mathematical structure consisting of a set of objects together with a binary operation, that is, an operation combining any two objects to a third, subject to certain requirements.