不变量->不变式

[cwr31]

"certain statements about your data(invariants)"，这里的invariants翻译为不变式更为妥当

[yingang]

谢谢！

ps. 坦白说，我也不确定哪个翻译更为妥当，从网上搜索的结果来看，似乎译为“不变式”的情况更多，先合并此PR，大家如有不同意见，请及时沟通。