We present a general formalism for giving a measure space paired with a separable Hilbert space a quantum version based on a normalized positive operator-valued measure. The latter are built from families of density operators ...