has subset
| type | |
|---|---|
| domain | |
| label |
has subset
|
| range |