connections: Orders, Galois connections, and lattices. connectionsはガロア接続 (Golois connections)を表現するライブラリ。ガロア接続の正確な定義はライブラリのドキュメントを参照されたいが、ある規則を満たす半順序集合間の2つの写像の組、らしい…