Description: Two ways of expressing that a class has at least one element. (Contributed by Zhi Wang, 23-Sep-2024)