Description: An element of a class exists. Version of elisset with a disjoint variable condition on V , x , avoiding df-clab . (Contributed by BJ, 14-Sep-2019)