Description: All elements of a class are elements of the class. (Contributed by Wolf Lammen, 10-Jun-2023)