Description: An alternate definition of class membership when the class is a set. (Contributed by NM, 18-Aug-1993)