Description: The value of the cumulative hierarchy of sets function expressed in terms of rank. Definition 15.19 of Monk1 p. 113. (Contributed by NM, 30-Nov-2003)