  Understanding the core content of quantum mechanics requires us to
disentangle the hidden logical relationships between the postulates of this
theory. Here we show that the mathematical structure of quantum measurements,
the formula for assigning outcome probabilities (Born's rule) and the
post-measurement state-update rule, can be deduced from the other quantum
postulates, often referred to as "unitary quantum mechanics", and the
assumption that ensembles on finite-dimensional Hilbert spaces are
characterised by finitely many parameters. This is achieved by taking an
operational approach to physical theories, and using the fact that the manner
in which a physical system is partitioned into subsystems is a subjective
choice of the observer, and hence should not affect the predictions of the
theory. In contrast to other approaches, our result does not assume that
measurements are related to operators or bases, it does not rely on the
universality of quantum mechanics, and it is independent of the interpretation
of probability.
