1: \begin{definition}

2: Let $F$ be an hke collection. We define a relation $\approx$ on $\bigcup F$ as follows: $x \approx y$ if and only if $x=y$ or $A-D=\{x\}$ and $D-A=\{y\}$ for some $A,D \in F$. If $F$ is not clear from the context, we will write $\approx_F$. If $F$ is a maximal hke collection, $x \neq y$ and $x \approx y$ then $y$ is said to be \emph{the dual} of $x$ (this name is justified in the proof of Theorem \ref{another characterization of a maximal KE collection}). If $F$ is not clear from the context, we will write `the $F$-dual'.

3: \end{definition}