for V, C being set holds Top (SubstLatt (V,C)) = {{}}