设是取值在中的整变量，为变量，“取值为当且仅当”可用来表示