Const
The Top element of the set range domain with an empty set as must set and Top as may set
Readonly
The Top element of the set range domain with an empty set as must set and Top as may set