finite
sets
Sections
AutomataTheory
Doc
Def
Div(a;n;q) == n
q
a < n
(q+1)
In prior sections:
int
2
q 
a < n(q+1)