T

• generator basis -- $G_T = { g \e P_T }$
• generator universe -- $GU_T = { v_1, v_2, ... }$

• $G_{Bool} = { t, f }$, $GU_{Bool} = { t, f }$
• $G_{Nat} = { 0, S }$, $GU_{Nat} = { 0, S 0, SS 0, ... }$
• $G_{Set_{A} } = { \emptyset, add }$, $GU_{Set_{A} = { \emptyset, add(\emptyset,a), ... }$