diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index 5dc99411..537fe539 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -3350,7 +3350,8 @@ A \representedGroup $\GroupG{}$ consists of:
 \end{itemize}
 \vspace{-1.5ex}
 
-Define $\SubgroupG{}$ as the order-$\ParamG{r}$ subgroup of $\GroupG{}$. Note that this includes $\ZeroG{}$.
+Define $\SubgroupG{}$ as the order-$\ParamG{r}$ subgroup of $\GroupG{}$, which is called a
+\representedSubgroup. Note that this includes $\ZeroG{}$.
 For the set of points of order $\ParamG{r}$ (which excludes $\ZeroG{}$), we write $\SubgroupGstar{}$.
 
 Define $\SubgroupReprG := \setof{\reprG{}(P) \typecolon \ReprG{} \suchthat P \in \SubgroupG{}}$.