Description: Two ways of saying a set is an element of the intersection of a class. (Contributed by RP, 13-Aug-2020)