Notes for AKT-091008-2/0:41:06

Checking that [math]\displaystyle{ \mathcal{T}_\mathcal{G} }[/math] is well-defined under AS, IHX and STU relation:

AS and IHX is internal (does not touch the base line)hence satisfied by construction, STU becomes the relation [math]\displaystyle{ [x,y]=xy-yx }[/math]