8.14. Lemma

The set of states S0, which is the sum of some S1 .. SN from the selector sel

S0 = ∑sel(Si), (i = 1..N)

it is also a prototype for each of its summands Si, (i = 1..N).

Evidence

Directly follows from definition 8.13, according to which for each state s from Si to S0 there is its prototype. █

Prev Next