Un conjunto que es igual a su clausura superior se llama un conjunto superior.