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