Section 1.6

Completeness and product spaces