Fixed point theorems for increasing correspondences on lattices
摘要
For an ascending correspondence
For an ascending correspondence