The type for sets.
Function to check if an element belongs to the set
Optional
Optional array for the elements of a finite set
Unique identifier for known sets (e.g., "Z", "Q", "R", "C")
The type for sets.