аксиома сохранения

Retention axiom