If A Binary Operation * Is Defined By X *

If A Binary Operation * Is Defined By X *