I don't see the ambiguity at ( *) since "binary operator" is qualified by "acting on a pair" The ambiguity is "a" which, to me, means, it can act on one pair of objects, not necessarily any pair-wise combination in the set. "A group, G, is a set of objects with (where there exists) some binary operator which acts on any pair of elements in G...
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.