This is a binary operation as defined. It was necessary to employ the associative property of the operation in order to find a pattern which was proven by mathematical induction.