theorem :: UNIFORM2:16

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