6.12.3 Bounded Sets

In some cases, when you’re working with sets, you can know in advance that the sets you’re building are all subsets (not necessarily proper) of some set you