reconsider X = MonFuncs A,B as Subset of by Th11;
X is functional ;
hence MonFuncs A,B is functional ; :: thesis: verum