Invariant

An invariant is a condition that is always true.

Example

const bool ENABLE_DOODAD = true;

This is a simple example of an invariant as the const declaration means this cannot change during execution.