for X being finite Subset of (Rank omega) holds X in Rank omega