Procedūros invariantas angliškai

Procedūros invariantas Procedure invariant

Ką reiškia promote anglų kalboje?