If you don't recognize the term as having a specific meaning in programming, it may be worth reading up. This[1] blog post has a great walkthrough of invariants.

https://reprog.wordpress.com/2010/04/25/writing-correct-code...