The motivating example comes from Galois theory: suppose L/K is a field extension.
激发伽罗瓦连接的例子来自伽罗瓦理论：假设L /K是域扩张。