1: \begin{definition}\label{D:gradef} Suppose that $\mc F$ is a group frame\po The

2:  set \ra\ constructed from $\mc F$ in   Group Frame Theorem~\ref{T:closed} is

3:  called the (\textit{full}) \textit{\ggra} on $\mc F$ and is

4:  denoted by $\cra G F$ \opar and its universe by  $\craset G

5:  F$\cpar\po A \textit{general group relation algebra} is defined

6:  to be an algebra that is embeddable into a full group relation

7:  algebra\po \qed

8: \end{definition}

9: