ColNamesTop: "top" = 'top'

The top element (greatest element) of the column names domain representing all possible values, explicitly given as "top".