Description: Condition for restriction of a singleton to be empty. (Contributed by Scott Fenton, 9-Aug-2024)