“…Those results which can be formulated for finite tensor products can, however, be readily proved by appropriate induction arguments and can then be extended by standard methods to infinite tensor products. The techniques for doing this are well known [1,3,4] so we have restricted ourselves to the simplest case in order to exhibit the essential ideas of the proofs. Similarly, these results can be extended fairly easily to sets of states which are invariant under appropriate actions of semigroups, as was done in [3].…”