7.3. Relations "not already" and "not wider" (projection-prototype) between bases

Some basis is not already than the other, and that is not wider than the first, if:

• or both bases have exactly the same composition of variables
• or the first contains in addition to the variables from the second basis any additional variables

These relations are "not already" and "not wider" can also be called a relationship of (B)-projection (between bases). █

Remark

When working with the states of different bases, it is usually necessary to proceed to the consideration of the states of their combined basis, about which I want to say that it is WIDER than the original ones. But due to the fact that in practice, in addition to transitivity, this relationship also requires its reflexivity, it is necessary to introduce a somewhat cumbersome "not already" and "not wider".

Prev Next