Procedūros invariantas angliškai

Procedūros invariantas Procedure invariant

Ką reiškia mermaid anglų kalboje?