Binary operation (on a set G)