theorem Th30: :: WAYBEL14:30

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