7.9. Transitivity relations projection conditions. Lemma 7.2

The ratio of the projection of states is transitive, that is, if:

s2 ⊵ s1 и

s3 ⊵ s2

that

s3 ⊵ s1

Remark

The basis from the s3 state worse than state s1 because of the transitivity of the relations of the bases. Equality of values of common variables (belonging to the basis |s1/) is ensured by virtue of transitivity of the ratio of equality of values.

█

Prev Next