- countable infinite set : rational number, integer or recursive language .
- countable finite set : it is simple any set which have finite number of element
ex : set of string of 2 length {aa,ab,ba,bb}
- uncountable infinite set : real number , set of all language or not recursive ennum language .
uncountable finite set , it is not possible