reserve x, y, i for object,
  L for up-complete Semilattice;

theorem ::Theorem 2.1 (1) iff (3)
  L is continuous iff for x being Element of L ex I being Ideal of L st
  x <= sup I & for J being Ideal of L st x <= sup J holds I c= J by Lm3,Lm4;
