Considering a binary operation as a ternary relation permits certain sections of the latter (which are functions) to be used in representing an abstract semigroup as a family of the self-maps of its ...