1: \begin{definition}\label{def:completion}

2: Let $G$ be a square geometric graph with linear orders $<_1$ and $<_2$ as in Theorem \ref{thm:dim-2-cond-geom}. Define

3: %

4: $$E_i=\{wz |\exists u,v\in V(G),  u<_i w<_i v  \quad\mbox{and }\quad  u<_i z<_i v \quad\mbox{and }\quad u\sim v\}.$$

5: %

6: The \emph{completion} of $<_i$, denoted by $\C_i$, is $(E(G))^c\cap E_i$. Indeed $\C_i$ is the set of the non-edges of $G$ whose ends are in between two adjacent vertices in $<_i$. 

7: \end{definition}

8: