¿Por qué me gusta la definición II? Porque sigue la definición general de subobjeto de una estructura (mirar el apéndice sobre Estructuras Algebraicas o textos de Álgebra Universal que hacen énfasis en estructuras).