Description: The value of the rank function expressed recursively: the rank of a set
is the smallest ordinal number containing the ranks of all members of
the set. Proposition 9.17 of TakeutiZaring p. 79. (Contributed by NM, 11-Oct-2003)(Revised by Mario Carneiro, 17-Nov-2014)