## 7.5 Finite Set Constants

`value.empty`

  > > `FS.value.empty`

  Denotes .

`value.universal`

  > > `FS.value.universal`

  Denotes .

`value.singl`

  > > `{FS.value.singl +I ?M}`

`value.make`

  > > `{FS.value.make +Spec ?M}`

`value.is`

  > > `{FS.value.is +M ?B}`

  Tests whether `M` is a finite set value or not.

`value.toString`

  > > `{FS.value.toString +M ?S}`

  Converts `M` to a string and returns it in `M`.