Answer:Invariant
Step-by-step explanation:In object oriented design ,there are three type of condition which are as follows:-
- Pre-condition:- this situation implies that condition must be true before the function is being called.
- Post-condition:- is the situation in which the the condition mys be true after the function is being called.
- Invariant:-is the situation where the condition must be true throughout the time period or at all times.