theorem Th27: :: UNIFORM2:28

for QU being non void Quasi-UniformSpace holds [: the carrier of QU, the carrier of QU:] in the entourages of QU