A measurement can be defined as a function
\mu : \Sigma \rightarrow \text{Pos}(\mathcal{X})
satisfying
\sum_{a \in \Sigma} \mu(a) = \mathbb{I}_{\mathcal{X}}
where \Sigma represents a set of measurement outcomes and where \mu(a) represents the measurement operator associated with outcome a \in \Sigma.
.. toctree::
.. autosummary::
:toctree: _autosummary
toqito.measurement_ops.measure
.. toctree::
.. autosummary::
:toctree: _autosummary
toqito.measurement_props.is_povm