Описание тега invariants
В информатике предикат называется инвариантом последовательности операций при условии, что: если предикат истинен до начала последовательности, то он истинен в конце последовательности.
В циклах инварианты - это структуры данных, на которые имеются ссылки внутри цикла, которые не изменяются во время любой итерации. При проектировании по контракту инварианты - это инварианты, свойства класса, которые должны удовлетворяться в конце любого вызова метода, который вызывается извне самого класса.
Ссылки