利用拓扑系统和Quantale理论,先通过引入Quantale系统的子系统概念,定义Quantale系统之间的嵌入,再借助Quantale的结构,得到了Quantale系统的嵌入定理,并利用该嵌入定理研究Quantale系统空间化的嵌入,证明了一个Quantale系统的所有子系统在定义的偏序下是完备格.
Using the theories of topological systems and Quantale,we first introduced the concept of subsystem of Quantale system to define the embedding between Quantale systems,and then with the help of the structure of Quantale,the embedding theorem of Quantale system was obtained.The embedding theorem was used to study the embedding of spatilization of Quantale system.It was proved that all subsystems of a Quantale system were complete lattices under the defined partial orders.