Synonyme bzw. ein anderes Wort für "eintrittsinvariant":

Bedeutung 1:
ablaufinvariant