for P, Q being non empty strict chain-complete Poset
for z being Element of Q holds P --> z is continuous