Convention on D41: Indicator function
Convention 0 (Notation for indicator function)
Let $X$ be a D11: Set. We denote the D41: Indicator function on $X$ with respect to $E \subseteq X$ by $I_E$.