Galois connection
Given an inner product space , we can form the orthogonal complement of any subspace of . This yields an antitone Galois connection between the set of subspaces of and itself, ordered by inclusion; both polarities are equal to .