a binary operation is part of a group.