Derivation of quantum theory with superselection rules

We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality. It has been shown that each of the classical and fully quantum theories is singled out by an additional postulate.