Theorem 7.9 in Loring Tu

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

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

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