Por ejemplo, un subgrupo de un grupo "G" es "S" de "G" tal que: