theorem Th36: :: WAYBEL_1:36

for L being non empty Poset
for f being Function of L,L st f is closure holds
[(inclusion f),(corestr f)] is Galois