不变式的权

不变式的权（weight of invariant）是1993年公布的数学名词。