Fixed point theorems for increasing correspondences on lattices | Synapse