Uno puede reformular esto de manera diferente, en términos de grupos.