Abstract.

The objective is to refine the notion of invariant.

See: invariant

---