Por ejemplo, si se quiere definir subgrupo, digamos H, de un grupo G podemos decir: