A similar result hold for finite orthogonal direct sums and extends to infinite orthogonal direct sums, using von Neumman's definition of the infinite tensor product with 1 the reference unit vector in S (H i). Any contraction operator between Hilbert spaces induces a contraction operator between the corresponding symmetric Fock spaces in a functorial way.