for SUS being Semi-UniformSpace st SUS is empty holds
{} in the entourages of SUS