3 invariant: 불변성