From 324d634a296f985cfaad532c29b5700aedc5740d Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Sun, 12 Aug 2018 16:57:23 +0100
Subject: [PATCH] Define "represented subgroup".

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 protocol/protocol.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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{}}$.