SetBoundedSetTop: typeof Top

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