\stackrel{8}{\leftrightarrow} \left\{ \left( x,y \right) : x \in A \wedge y \in B \backslash C \right\} \stackrel{9}{\leftrightarrow} \left( x,y \right) \in A \times \left( B \backslash C \right)