INDUCTIVE DEFINITION B () [ ]
OF ARITY
Set
BUILT FROM:
Abbr:
B
| Abst:
B
| Void:
B