
theorem Th5:
  for L being complete non empty Poset holds id L is CLHomomorphism of L, L
proof
  let L be complete non empty Poset;
  id L is directed-sups-preserving & id L is infs-preserving by Th3,Th4;
  hence thesis by WAYBEL16:def 1;
end;
