\stackrel{5}{\leftrightarrow} \left\{ \left( x,y \right) : \left( \left( x \in A \wedge y \in B \right) \wedge x \notin A \right) \vee \left( \left( x \in A \wedge y \in B \right) \wedge y \notin C \right) \right\}