INDUCTIVE DEFINITION K () [ ]
OF ARITY
Set
BUILT FROM:
Bind:
B
→
K
| Flat:
F
→
K