不変条件
Invariant
https://ja.wikipedia.org/wiki/不変条件
常に真である変数や構造体の特性。
e.g. テキストにおける各行の終端は、改行文字（
\n
）でなければならない
e.g.
ループ不変条件