给出了Heyting系统之间的单-满映射和满-单映射的概念,并且用具体的实例说明了概念的可能性和合理性。文章的结论对深入研究Heyting系统之间H-连续映射的性质和Heyting系统的空间化形式以及Locale化形式有很好的参考意义。
In this paper, the definitions of injective-subjective function and subjective-injective function between heyting system are introduced and examined. In addition, some examples are given to illustrate the possibility and rationality of these definitions. Conclusions of this paper play an important role for us to deeply study the properties of H-continuous mapping, the spatialization and localification between heyting system.