Một lớp bất biến là một điều kiện xác định tất cả các trạng thái hợp lệ cho một đối tượng. Nó là một điều kiện hợp lý để đảm bảo hoạt động chính xác của một lớp. Các bất biến của lớp phải giữ khi một đối tượng được tạo, và chúng phải được bảo toàn dưới tất cả các hoạt động của lớp. Đặc biệt, tất cả các bất biến của lớp đều là điều kiện tiên quyết và điều kiện hậu đối với tất cả các hoạt động hoặc hàm thành viên của lớp. (Còn tiếp câu hỏi tiếp theo ...).