for L being complete Scott TopLattice st L is continuous holds
sup_op L is jointly_Scott-continuous