External Composition Law
Consider two sets E and Ω. The application of Ω × E on E is called an external composition law on E. The elements of Ω are called the operators.
As indicated in the definition, the results of this composition law are elements of E.
