finite
sets
Sections
AutomataTheory
Doc
Def
|i| == if 0
i
i else -i fi
In prior sections:
int
2
i
i else -i fi