theorem :: SUBSTLAT:26

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