 Further, where R ⊆ S × T, the triple ⟨R, S, T⟩, which we may call a binary relational connection (between S and T), induces a Galois connection (fR,gR) between S and T when we put, for all S0 ⊆ S, T0⊆ T: