DDD - Invariants

Fixed conditions that define a business state. I.e, A task is done, when its status is marked and done. status == DONE would be an invariant.