In Mathematics, Binary operation is a concept where calculation of two elements (Also called operands) gives the another element.
So a binary operation of 'o' on M is mapping from M x M to M, i.e
o: M x M -> M
where the image of (a,b) of M x M under 'o', i.e o(ab) is denoted by aob.