Java: Invariants and Validation

Immutability prevents state changes after construction.

Immutable objects cannot have their state modified after they are created, which helps maintain invariants by ensuring an object's state is always consistent. For example, in a `Product` class, making a `ProductID` field immutable ensures the ID remains constant and valid throughout the object's lifecycle, preventing accidental changes that could disrupt system consistency.