1: \begin{definition}[\text{$\Gamma$-convergence~\cite[Theorem 2.1]{GammaCvg}} ]

2: %Let $X$ be a topological space, consider a functional $F$ and a family of functionals $\left(F_\varepsilon\right)_{\varepsilon \in \R^+}$ from $X$ to $ [-\infty, \infty]$. The family of functionals $F_\varepsilon$ is said to $\Gamma$-converge to $F$, \textit{i.e.}, $ F = \Gamma-\lim_{\varepsilon\to 0}F_{\varepsilon}$ if the following two conditions are satisfied: 

3: %\begin{enumerate}[label=(\roman*)]

4: %\item for every sequence $\left(x_{\varepsilon}\right)$ converging to $x$ :

5: %\begin{equation}

6: %\label{gamma_condition1}

7: %F(x) \leq \liminf_{\varepsilon\to 0} F_{\varepsilon}(x_\varepsilon).

8: %\end{equation}

9: %\item there exists a sequence $\left(\overline{x}_{\varepsilon}\right)$ converging to $x$ such that 

10: %\begin{equation}

11: %\label{gamma_condition2}

12: %F(x) = \lim_{\varepsilon \to 0} F_{\varepsilon}(\overline{x}_{\varepsilon}).

13: %\end{equation}

14: %\end{enumerate} 

15: %\end{definition}

16: