域不变量

field invariant