Invariantes: Condiciones o restricciones que deben cumplirse siempre. Ejemplo “El número de empleados debe ser mayor que 50” context Compañía inv: self. númeroDeEmpleados > 50 context c:Compañía inv suficientesEmpleados: c.númeroDeEmpleados > 50 Compañía {self. númeroDeEmpleados > 50}