theorem :: SUBSTLAT:27

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