Invariant nedir

An invariant is not documentation describing what usually happens. It is a condition that must remain true across every valid transition in the system.

Örnek 

Available + reserved= total inventory