[gnulinux]

Yes works for all enumerable set (i.e. all sets that have a bijection with natural numbers).