![]() | ![]() | ![]() | Multiplying Contextual Factors |
we can replace them with their product:
<b ,t1> <b ,t2>
The program invariant is maintained, as any context incompatible with b isn't affected by this operation. Any context that is compatible with b, the product of the values of t1 and t2 on that context is the same as the value of t1×tt2 on that context. The completeness part of the invariant isn't affected by multiplying.
<b ,t1×tt2>.
![]() | ![]() | ![]() | Multiplying Contextual Factors |