8.6. Lemma

In General, the relation AND between states is not "transitive".

For example, let:

s1 = (x = 1, y = 1)

s2 = (y = 1, z = 1)

s3 = (x = 2, z = 1)

Then truly:

s1 AND s2

s2 AND s3

But it is incorrect

s1 AND s3

█

Prev Next