
theorem Th10: :: 1.3. THEOREM, p. 179
  for S,T being complete LATTICE for g being infs-preserving Function of S,T
  holds UpperAdj LowerAdj g = g
proof
  let S,T be complete LATTICE;
  let g be infs-preserving Function of S,T;
  [g, LowerAdj g] is Galois by Def1;
  hence thesis by Def2;
end;
