Product of directed partial orders

57 Views Asked by At

Is a product poset (with componentwise order) of nonempty posets a dcpo if and only if each multiplier is a dcpo? (for both binary and arbitrary products)