for k being Element of NAT holds Bottom (SubstPoset (NAT,{k})) = {}