Galois connection
The implications of the two definitions of Galois connections are very similar, since an antitone Galois connection between and is just a monotone Galois connection between and the order dual of . All of the below statements on Galois connections can thus easily be converted into statements about antitone Galois connections.