theorem Th21: :: SRINGS_5:21

for n being Nat
for cB being Subset-Family of (TOP-REAL n) st cB = union (OpenHypercubesRAT n) holds
cB is quasi_basis