BoundedSetTop: typeof Top

The type of the Top element of the bounded set domain as Top symbol