Description: Members of a set with seven elements. Lemma for usgrexmpl2nb0 etc. (Contributed by AV, 9-Aug-2025)