generator basis - G
T
= {g ∈ 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
= {∅, add}, GU
Set
A
= {∅, add(∅,a), …}
slide
:
Generators -- basis and universe