FinSETS = Rank omega