SetBoundedSetBottom: typeof Bottom

The type of the Bottom element of the set bounded set domain as Bottom