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