Respuesta :

Answer:Invariant

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.