| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . ++ . | set-nogen-basic | f | setnogen × elem → setnogen |
| . -- . | set-nogen-union | f | setnogen × elem → setnogen |
| . \ . | set-nogen-union | f | setnogen × setnogen → setnogen |
| . ∈ . | set-nogen-basic | p | elem × setnogen |
| . ∩ . | set-nogen-union | f | setnogen × setnogen → setnogen |
| . ∪ . | set-nogen-union | f | setnogen × setnogen → setnogen |
| . ⊆ . | set-nogen-basic | p | setnogen × setnogen |
| { . } | set-nogen-union | f | elem → setnogen |
| ∅ | set-nogen-basic | c | setnogen |
| a | elem | v | elem |
| b | elem | v | elem |
| c | elem | v | elem |
| elem | elem | s | |
| setnogen | set-nogen-basic | s | |
| sng | set-nogen-basic | v | setnogen |
| sng0 | set-nogen-basic | v | setnogen |
| sng1 | set-nogen-basic | v | setnogen |
| sng2 | set-nogen-basic | v | setnogen |