In mathematics, a group is a set, together with a binary operation satisfying certain axioms, detailed in the group article.