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