Inspirados en nuestro ejemplo, definiremos una relación asociada a un subgrupo de un grupo.