## maximal

Suppose $A$ is maximal with respect to having connected preimage.
Take $N$ to be a family of normal measures in $P(X)$ such that $N$ is maximal subject to the condition that the supports of the measures in the family are pairwise disjoint.
Now suppose that $F(n)=x$ and that $n$ is maximal in this respect.