invariant 0 invariante Afirmación que siempre debe ser cierta para un segmento específico o en un punto específico de un programa. 2019-10-16 assertionafirmación, aserción, aserto