Binary Operations Let S be any given set. A binary operation on S is a correspondence that associates with each ordered pair (a, b) of elements of S.