即値・nullは*次不変である。 不変でないオブジェクトは0次不変である。 N次不変オブジェクトの持つフィールドがそれぞれ次不変オブジェクトだとしたとき、が成り立つ。

即値は不変である。 フィールド全てにfinal修飾が付いたクラスのインスタンスは不変である。

final修飾の付いた変数は不変である。