Describir: Estructuras trianguladas y el concepto de los invariantes