/avail/Avail/Foundation/Bootstrap/Special Objects: **set meta**

`{_|_}`

`{_|_.._}`

`{_|_..}`

`{_|}`

The set type specifies two parameters for completion:

- The member type (or element type) specifies a type that includes every member. The method _'s⁇element|member type answers the member type of a set type.
- The cardinality restriction is an integral type that specifies the range of sizes that describe instances. The method `|`|_`|`| answers the cardinality restriction of a set type. The floor operation, ⎣_⎦, answers the lower bound of a set type's cardinality restriction. The ceiling operation, ⎡_⎤, answers the upper bound of a set type's cardinality restriction.