Description: Two ways to say a set is a member of the converse of a class. (Contributed by RP, 19-Aug-2020)