| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . ⊆ . | monotone-set-fixpoint | p | (elem → bool) × (elem → bool) |
| μ | monotone-set-fixpoint | f | ((elem → bool) → elem → bool) → elem → bool |
| ν | monotone-set-fixpoint | f | ((elem → bool) → elem → bool) → elem → bool |
| φ | fixpoint-induction | v | elem → bool |
| IS | monotone-set-fixpoint | f | ((elem → bool) → bool) → elem → bool |
| S | monotone-set-fixpoint | v | elem → bool |
| S0 | monotone-set-fixpoint | v | elem → bool |
| S1 | monotone-set-fixpoint | v | elem → bool |
| SS | monotone-set-fixpoint | v | (elem → bool) → bool |
| UN | monotone-set-fixpoint | f | ((elem → bool) → bool) → elem → bool |
| compl | monotone-set-fixpoint | f | ((elem → bool) → elem → bool) → (elem → bool) → elem → bool |
| elem | setelems | s | |
| f | monotone-set-fixpoint | v | (elem → bool) → elem → bool |
| monotone | monotone-set-fixpoint | p | ((elem → bool) → (elem → bool)) |
| x | setelems | v | elem |
| x0 | monotone-set-fixpoint | v | elem |
| x1 | monotone-set-fixpoint | v | elem |