余不変式の全体が「商」なのに対し、不変式の全体は「部分集合」となる)。