  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.
