 v$.

We also define the *reduced* graph $G_\Sigma^0$ to be the simple graph on $V$ obtained by setting $e = uv \in E(G_\Sigma^0)$ if and only if there is at least one edge from $u$ to $v$ in $G_\Sigma$.

Observe that if $\Sigma' \subseteq \Sigma$, then $G_{\Sigma'}$ is a subgraph of $G_\Sigma$. Now let us return specifically to kei.

Let $K = (X, \triangleright)$ be a kei, and let $(f_y)_{y \in X}$ be the associated maps. For any $S \subseteq X$, define $\Sigma_S = \lbrace f_y \mid y \in S \rbrace$. Then by $G_S$ we mean the multigraph $G_{\Sigma_S}$ in the sense of Definition \[multinvodef\]; $G_S$ thus has an associated $|S|$-edge-colouring, although if $|S|=1$ we may not necessarily consider $G_S$ as being coloured. We will also write $G_K = G_X$, indicating the graph for the whole kei.

Figure \[examples\] gives two examples of graphs representing kei.

(-4,0.336) – (-3,0.336); (-3.5,1.202) – (-3,0.366); (-4,0.336) – (-3.5,1.202);

(-3,0.336) circle \[radius=0.1\]; (-4,0.336) circle \[radius=0.1\]; (-3.5,1.202) circle \[radius=0.1\]; (-2.25,0.969) circle \[radius=0.1\];

at (-3.5,1.202) [(1 2)]{}; at (-4,0.366) [(1 3)]{}; at (-3,0.336) [(2 3)]{}; at (-2.3,0.969) [$\iota$]{};

(0,0.1) – (0.76,0.75); (3.52,0.1) – (2.76,0.75); (0,1.4) – (0.76,0.75); (3.52,
v$. 

 We also define the * reduced * graph $ G_\Sigma^0 $ to be the simple graph on $ V$ prevail by arrange $ e = uv \in E(G_\Sigma^0)$ if and only if there is at least one boundary from $ u$ to $ v$ in $ G_\Sigma$. 

 Observe that if $ \Sigma' \subseteq \Sigma$, then $ G_{\Sigma'}$ is a subgraph of $ G_\Sigma$. Now let us come back specifically to kei. 

 Let $ K = (X, \triangleright)$ exist a kei, and let $ (f_y)_{y \in X}$ be the associated maps. For any $ mho \subseteq X$, define $ \Sigma_S = \lbrace f_y \mid y \in S \rbrace$. Then by $ G_S$ we mean the multigraph $ G_{\Sigma_S}$ in the common sense of Definition \[multinvodef\ ]; $ G_S$ thus has an associated $ |S|$-edge - colouring, although if $ |S|=1 $ we may not necessarily consider $ G_S$ as being coloured. We will besides write $ G_K = G_X$, indicating the graph for the whole kei. 

 Figure \[examples\ ] yield two examples of graphs represent kei. 

 (-4,0.336) – (-3,0.336); (-3.5,1.202) – (-3,0.366); (-4,0.336) – (-3.5,1.202); 

 (-3,0.336) circle \[radius=0.1\ ]; (-4,0.336) set \[radius=0.1\ ]; (-3.5,1.202) circle \[radius=0.1\ ]; (-2.25,0.969) circle \[radius=0.1\ ]; 

 at (-3.5,1.202) [ (1 2) ] { }; at (-4,0.366) [ (1 3) ] { }; at (-3,0.336) [ (2 3) ] { }; at (-2.3,0.969) [ $ \iota$ ] { }; 

 (0,0.1) – (0.76,0.75); (3.52,0.1) – (2.76,0.75); (0,1.4) – (0.76,0.75); (3.52,
 v$.

Wf also define the *reducea* graph $G_\Sigma^0$ jo be thx simpls graph un $V$ obtained by setting $e = nv \ib E(G_\Sugma^0)$ if and only if thdre is at least obe evge from $u$ to $v$ mh $G_\Sigma$.

Obserbc thac mf $\Sigma' \subsetgq \Sigma$, thet $G_{\Sigma'}$ is a vucgxaph of $G_\Sigma$. Now let us return spesificalky to kei.

Let $K = (V, \trpaggledpgmt)$ be a kei, and let $(f_y)_{y \in X}$ be fhe assmciated maps. Gor any $S \subseteq X$, definf $\Sihma_S = \lbrace f_y \mif y \in S \rbtzce$. Rhen by $G_S$ wd mean the multigraph $F_{\Sigma_S}$ in the sense of Definitkon \[mbltinvodef\]; $T_S$ thkv has an aswocianed $|S|$-edge-colomging, aldhough of $|S|=1$ we may nob necxssaeily consider $G_S$ as bxing coloured. We wilj also wrhtz $G_K = G_X$, indicating tye grapv fos thd whule kxi.

Fjgure \[fxajples\] givea two exampoes of graphs reprexegnong kei.

(-4,0.336) – (-3,0.336); (-3.5,1.202) – (-3,0.366); (-4,0.336) – (-3.5,1.202);

(-3,0.336) ciwcje \[radius=0.1\]; (-4,0.336) circle \[radius=0.1\]; (-3.5,1.202) circle \[radius=0.1\]; (-2.25,0.969) cjrcle \[radius=0.1\];

at (-3.5,1.202) [(1 2)]{}; at (-4,0.366) [(1 3)]{}; at (-3,0.336) [(2 3)]{}; at (-2.3,0.969) [$\iota$]{};

(0,0.1) – (0.76,0.75); (3.52,0.1) – (2.76,0.75); (0,1.4) – (0.76,0.75); (3.52,
v$. We also define the *reduced* graph be simple graph $V$ obtained by E(G_\Sigma^0)$ and only if is at least edge from $u$ to $v$ in Observe that if $\Sigma' \subseteq \Sigma$, then $G_{\Sigma'}$ is a subgraph of $G_\Sigma$. let us return specifically to kei. Let $K = (X, \triangleright)$ be a and $(f_y)_{y X}$ the associated maps. For any $S \subseteq X$, define $\Sigma_S = \lbrace f_y \mid y \in \rbrace$. Then by $G_S$ we mean the multigraph in the sense of \[multinvodef\]; $G_S$ thus has an $|S|$-edge-colouring, if $|S|=1$ may necessarily $G_S$ as being We will also write $G_K = G_X$, indicating the graph for the whole kei. Figure \[examples\] gives examples of kei. (-4,0.336) (-3,0.336); – (-4,0.336) – (-3.5,1.202); \[radius=0.1\]; (-4,0.336) circle \[radius=0.1\]; (-3.5,1.202) circle \[radius=0.1\]; at (-3.5,1.202) [(1 2)]{}; at (-4,0.366) [(1 at (-3,0.336) 3)]{}; at (-2.3,0.969) [$\iota$]{}; (0,0.1) – (3.52,0.1) – (2.76,0.75); (0,1.4) – (0.76,0.75); (3.52,
 v$.

We also define the *reduced* grAph $G_\Sigma^0$ tO be thE siMplE gRaph On $V$ oBtained by settiNG $e = uv \In E(G_\Sigma^0)$ if and only if thEre is At LEast ONe Edge fRom $u$ to $v$ IN $G_\sIGma$.

obSeRve ThAT iF $\SigmA' \suBseteq \SIgma$, then $G_{\SIgmA'}$ iS a subgraph of $g_\siGma$. Now let uS reTurn specificAllY to kei.

leT $K = (X, \TRiangLerIght)$ bE a kei, aND let $(f_y)_{Y \in X}$ be the AsSOciateD Maps. For ANY $S \SubsEteq X$, define $\Sigma_S = \LBrACe f_y \mid y \in S \rbrAce$. TheN bY $g_S$ WE MeaN thE multigrapH $G_{\sigma_s}$ In the seNSe OF dEfiNItion \[multinvoDef\]; $G_S$ thus haS An aSsociaTeD $|S|$-eDGe-coloUring, AlTHouGh if $|S|=1$ we may nOt neCessarily ConsidER $G_S$ as beINg colouRed. We wIll AlsO wriTE $G_k = G_x$, inDiCAtiNG tHe gRAph For the whOlE kEi.

FigUre \[eXAMPLes\] gIveS two ExampLes of graphs rePreSentINg kEi.

(-4,0.336) – (-3,0.336); (-3.5,1.202) – (-3,0.366); (-4,0.336) – (-3.5,1.202);

(-3,0.336) cirCle \[raDius=0.1\]; (-4,0.336) CiRcle \[rAdius=0.1\]; (-3.5,1.202) cIrcle \[RaDius=0.1\]; (-2.25,0.969) circle \[radiuS=0.1\];

at (-3.5,1.202) [(1 2)]{}; aT (-4,0.366) [(1 3)]{}; at (-3,0.336) [(2 3)]{}; at (-2.3,0.969) [$\iota$]{};

(0,0.1) – (0.76,0.75); (3.52,0.1) – (2.76,0.75); (0,1.4) – (0.76,0.75); (3.52,
 v$.

We also define the * reduced* g raph$G_ \Si gm a^0$  tobe the simpleg raph  on $V$ obtained by se tting  $ e  = u v  \ in E( G_\Sigm a ^0 ) $  if  a nd  on ly if  ther e i s at le ast one ed gefr om $u$ to $v $  i n $G_\Sigm a$. 

Observe th atif $\S ig ma' \subs ete q \Si gma$,t hen $G _{\Sigma' }$ is a s u bgrapho f  $ G_\S igma$. Now let us re t urn specifical ly toke i .L et$K= (X, \tri an gleri g ht)$ be ak e i , a n d let $(f_y)_ {y \in X}$b e t he ass oc iat e d maps . For  a n y $ S \subseteq  X$,  define $ \Sigma _ S = \lb r ace f_y  \midy \ inS \r b ra ce $.Th e n b y  $ G_S $  we  mean th emu ltigr aph$ G _ { \Sig ma_ S}$in th e sense of De fin itio n  \[ multi nvode f\];  $ G_S$thus h as an  a ssociated $|S|$ -edg e-colouri ng,  a lth ou gh if $|S|=1 $ w e m ay notnecessa r ily  c o n s id er $G_S$ as beingco l o ur ed. We w ill al s owr i te $G_K=G_X $, i n d icati ng t h egraph fo r thew ho le  kei.
Fi gure \ [e xam ple s\] g i vestwo ex amples o f gra p hs representin g  kei.

(-4,0. 3 36 ) –( -3,0 .33 6); (-3.5,1 .202 )  – ( -3,0 . 36 6); (-4,0 .336)  – (- 3 .5,1.202);

(-3,0.3 36 ) circ le \[ radius=0.1\];  (-4,0.336 ) c ircle \[ radi u s= 0 .1\]; (-3.5,1. 202)circle \[r a dius=0.1 \]; ( -2.25,0. 969) circ l e  \[radiu s=0 .1\ ];
at ( -3 .5,1.202) [(1 2 )]{} ;at (-4, 0.3 66) [(1  3) ]{} ; a t ( -3 ,0.336) [ (2 3)]{} ;at  ( -2 .3, 0.969 )  [$\iota $] {}; 
(0, 0.1)–  (0.76 ,0.75 ); ( 3. 52 , 0.1 ) – (2. 7 6, 0 . 75);  ( 0, 1.4)  –(0 .76,0 .75) ;  (3 .52,
 v$.

We_also define_the *reduced* graph $G_\Sigma^0$_to be_the_simple graph_on_$V$ obtained by_setting $e =_uv \in E(G_\Sigma^0)$ if_and only if_there_is at least one edge from $u$ to $v$ in $G_\Sigma$.

Observe that if $\Sigma'_\subseteq_\Sigma$, then_$G_{\Sigma'}$_is_a subgraph of $G_\Sigma$. Now_let us return specifically to_kei.

Let $K_= (X, \triangleright)$ be a kei, and let_$(f_y)_{y_\in X}$ be_the associated maps. For any $S \subseteq X$, define_$\Sigma_S = \lbrace f_y \mid y_\in S \rbrace$._Then_by_$G_S$ we mean the_multigraph $G_{\Sigma_S}$ in the sense of_Definition \[multinvodef\]; $G_S$ thus has an_associated $|S|$-edge-colouring, although if $|S|=1$ we may_not necessarily consider $G_S$ as being_coloured. We will also write_$G_K =_G_X$, indicating the graph for_the whole kei.

Figure_\[examples\] gives_two examples of_graphs representing kei.

(-4,0.336) – (-3,0.336); (-3.5,1.202)_– (-3,0.366); (-4,0.336)_– (-3.5,1.202);

(-3,0.336) circle \[radius=0.1\]; (-4,0.336) circle_\[radius=0.1\];_(-3.5,1.202) circle \[radius=0.1\];_(-2.25,0.969)_circle_\[radius=0.1\];

at (-3.5,1.202)_[(1 2)]{}; at_(-4,0.366)_[(1 3)]{};_at_(-3,0.336) [(2 3)]{}; at (-2.3,0.969) [$\iota$]{};

(0,0.1)_–_(0.76,0.75); (3.52,0.1) – (2.76,0.75); (0,1.4) – (0.76,0.75);_(3.52,