Fixed Point of Progressing Mapping on Minimally Closed Class is Greatest Element

Theorem
$g$ has no fixed point, unless possibly the greatest element, if there is one.