concrete invariant的意思|示意
美 / ˈkɔnkri:t inˈvɛəriənt /
英 / kɑnˈkrit ɪnˈvɛriənt /
[计] 具体不变式