Next: Transition Rules: Syntax
Up: Reserve
Previous: Reserve
Every state satisfies the following conditions:
-
Every basic relation, with the exception of equality and Reserve, evaluates
to false if at least one of its arguments belongs to the reserve.
-
Every other basic function evaluates to undef if at least one of
its arguments belongs to the reserve.
-
No basic function outputs an element of the reserve.
It follows that every permutation of the reserve is an automorphism of the
state.