设Ｅ自反，Ｔ：Ｄ（Ｔ）等于包含于Ｅ→２＾Ｅ＊，Ｓ：Ｄ（Ｓ）等于包含于Ｅ→２＾Ｅ＊极大单调。Ｔ＋Ｓ不必极大单调，给出了θ＾＊∈（Ｔ＋Ｓ）ｘ在Ｄ（Ｔ）∩Ｄ（Ｓ之有界域上有解的一些充分条件。......