本文讨论了ＱｕｏｔｉｅｎｔＣｏｎｔｅｘｔｏｆ Ｍｏｒｉｔａ Ｃｏｎｔｅｘｔ的一些性质，并在此基础上证明：如果ＤＲ是一个完备Ｇａｂｒｉｅｌ拓扑，则一个（Ｐ，Ｑ）的商（Ｐ，Ｑ）作为Ｒ与Ｓ之间ＭＣ，它的商同构于（Ｐ，Ｑ）的一个商。......