Invariante

<=> Transformation

==> System, dynamisches