Latest GRE Aptitude Question SOLUTION: Suppose that two binary operations, denoted by + and * are defined on a nonempty set S, and that the following conditions are satisfied for all x, y, and z in S: (1) x+y and x * y