 Proposition. Then   every monotone operator  F on sets has a least fixed point F*   and a  greatest fixed point  F*.    In particular,   every polynomial operator on classes has least   and greatest fixed points.      On classes, the same is true for  the  larger collection of power polynomial operators.  