7.7. The attitude of the projection-type between a sets of states

The set of states S⚪ is called projection of the set of states S◎, and S◎ respectively is prototype for S⚪

S⚪ ⊴ S◎

either

S◎ ⊵ S⚪

if for each state s⚪ ∈ S⚪ will find its prototype s◎ ∈ S◎: s⚪ ⊴ s◎

█

Prev Next