properties of binary operations

properties of binary operations