Assertion: algebra's operation | /r/HasProperty | → y
Facets:
Source sentences:
text: The first operation, x → y, or Cxy, is called material implication.