Un grupo es un par  tal que G es un conjunto—conjunto