8.5. Relationship AND between states

If for the states s1, … , sN there is a state s0, which is a prototype for all of them

s0 ⊵ s1,

...

s0 ⊵ sN

then any subset of the specified states (including s0) is called a related relation AND. █

Prev Next