Given a set $X$ and some $\sigma$-algebra $B$ of subsets of $X$, with $X\in B$, and a complex Hilbert space $H$, a map $P: B\to End H$ is called a projection-(valued) measure on $B$ with values in $End H$ if

all operators in the image are selfadjoint $P(A) = P(A)^*$

$P(A_1\cap A_2) = P(A_1) P(A_2)$ for all $A_1,A_2\in B$ where the product is the composition of the operators

$P(A_1\cup A_2) = P(A_1)+P(A_2)$ for all $A_1,A_2\in B$ such that $A_1\cap A_2 = \emptyset$

if $A_n\to A$, in the sense of coinciding upper and lower limit of sets, $A= \cap_n \cup_{k\geq n} A_k = \cup_n \cap_{k\geq n} A_k$, then $P(A_n)\to P(A)$ in the strong operator topology. (note: check if strong)