不変条件 (Invariant)