Properties of binary operations