for A1, A2 being Subset of F₁() st ( for x being object holds
( x in A1 iff P₁[x] ) ) & ( for x being object holds
( x in A2 iff P₁[x] ) ) holds
A1 = A2