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