ex X being set st
( X c= Subgroups F₁() & ( for H being strict Subgroup of F₁() holds
( H in X iff P₁[H] ) ) )