“…Given the discussion in Section 2.5, this representation Q n G is the expectation operator with respect to a probability mass function on the count vectors in N n G , so we obtain in this way the usual finite representation theorem for partial exchangeability as a special case. 16 By combining this special case with Proposition 8(iii), we see that, in general, Q n G is the lower envelope of the count representations Q n G of the linear previsions P G(J ) that dominate P G(J ) . Hence, we find that within our imprecise-probabilistic context, we no longer have a single representing probability mass function on N n G , but rather a (convex) set of them.…”