Theorem
properties of indicators
1
A
≤
1
B
⟺
A
⊂
B
1_{A} \leq 1_{B} \iff A \subset B
1
A
∁
=
1
−
1
A
1_{A^\complement} = 1 - 1_{A}