  Necessary and sufficient conditions for the existence of a composite-system
statistical operator, and, separately, for the possibility of its being
correlated or uncorrelated, are derived in terms of its range dimension and the
range dimensions of its reduced statistical operators.
