Description: The singleton of the
singleton of the empty set is not an ordinal (nor a
natural number by omsson4789). It can be used to represent an
"undefined"
value for a partial operation on natural or ordinal numbers. See also
onxpdisj4897. (Contributed by NM, 21-May-2004.) (Proof
shortened by
Andrew Salmon, 12-Aug-2011.)