for A being non empty Ordinal holds not Rank A is empty