Fact 2: A ( | ) {\displaystyle {\mathcal {A}}(|)} as a co-algebra (Define Δ : A ( | ) → A ( | 2 ) {\displaystyle \Delta :{\mathcal {A}}(|)\rightarrow {\mathcal {A}}(|_{2})} )
as a co-algebra (Define 
)
