Let us look at an example, we have a base class A where a class variable x is assigned value to 100 and then we have a method m which manipulates the value of x, but then makes sure that the value is always greater than 100 and for the method m to a work correctly, it always needs to be 100, but then when it was later extended into a class B, a new method m1 was introduced, but then the programmer here, who extended the class A into class B did not pay attention to the invariant that x would be 100.
একটা উদাহরণের দিকে লক্ষ্য করা যাক। আমাদের কাছে A নামক একটা বেস ক্লাস রয়েছে, যেখানে x হলো একটি ক্লাস ভেরিয়েবেল। এই x-এর জন্য ধার্য করা মান হলো 100 এবং এরপর আমাদের কাছে একটা মেথড m রয়েছে, যা x-এর মানকে প্রভাবিত করে। কিন্তু সবসময়ই এইমান যাতে 100 থেকে বেশি হয় তা নিশ্চিত রাখে।