A POVM is a Positive Operator Valued Measure.

I need to formally define it. Help me ❓