Characteristic Function

The characteristic function $\Delta_F \colon 2^A \to 2^A$ maps each $E \subseteq A$ to the set of arguments it defends, $\Delta_F(E) = \{a \in A \mid E \text{ defends } a\}$.