basic invariant的意思|示意
美 / ˈbeisik inˈvɛəriənt /
英 / ˈbesɪk ɪnˈvɛriənt /
基本不变式