Definition:N-Ary Operation Defined by Binary Operation