La definición general de subobjeto es un subconjunto cerrado respecto a todas las operaciones ya sean 0-arias, unarias, binarias, etc.