theorem :: UNIFORM2:15

for QUS being Quasi-UniformSpace st the entourages of QUS is empty holds
the entourages of (QUS [~]) = {{}}