ColNamesBottom: [] = ...

The bottom element (least element) of the column names domain representing no possible column name, defined as the empty list [].