7.6. The relation of the projection-type between states

If for two states s⚪ and s◎:

• basis of state s⚪ not already basis s◎;
• these states have the same values for all common variables (all the variables of s⚪)

then these states are in relation to the (C-)projection(-prototype) that is recorded:

s⚪ ⊴ s◎

either

s◎ ⊵ s⚪

In this case:

• the state s⚪ is called projection of s◎
• the state s◎ is called prototype for s⚪

█

Prev Next