Description: A singleton is nonempty iff its argument is a set. (Contributed by Scott Fenton, 8-May-2018)