En forma general, cuando tenemos una estructura algebraica, un subconjunto del conjunto base de la estructura define una subestructura del mismo tipo cuando es cerrado respecto a los parámetros de la estructura.