## $\mathbf{\Pi}_inf$-closed morphisms ## Models