A Binary Operation * Is Defined By \(x * Y

A Binary Operation * Is Defined By \(x * Y