Como siempre, una subestructura de una estructura de cierto tipo se refiere a un subconjunto que posee una estructura del mismo tipo con respecto a las operaciones restringidas al subconjunto.