\subsection{Formal Definition of Contexts and Context Sets}

Definitions~\ref{def:context} formally describe contexts and context sets.

\begin{definition}[context]\index{Contexts}
    \label{def:action}
    A \emph{context} is a representation of data that can be expressed as a $2$-tuple $(k,v)$, where
    \begin{enumerate}
        \item $k$ is a unique identifier of the context
        \item $v$ is an encoding of the data represented by the context
    \end{enumerate}
\end{definition}
