Theorem 7.9 in Loring Tu

Theorem 7.9 is stated and proved as follows in Loring Tu’s An Introduction to manifolds:

enter image description here

However, the definition of a basis of a topology says:

enter image description here

I don’t see how that proves ${pi(B_alpha)}$ is a basis for $S/sim$.