Toy GFRTU Closure Sequence

U0

$$U_0=\varnothing$$

U1

$$U_1=\{1,H,H^{\ast }\}$$

U2

$$U_2=U_1$$