摘要
本文给出良完备格及刻划,建立了两种良归纳法,在良完备格的情况下解决了逆合对应的一个公开问题。
This paper presents a well-complete lattice and its characterization, and discusses two kinds of mathematical induction which is based on the well-complete lattice. An answer to an open problem of order-reversing involution is obtained by the well-complete lattice.
出处
《重庆师范学院学报（自然科学版）》
1992年第3期73-75,共3页
Journal of Chongqing Normal University(Natural Science Edition)
关键词
逆合对应
Galois联络
良完备格
order-reversing involution, Galois connection, well-complete lattice
