P = Posets.ChainPoset(2) Q = Posets.ChainPoset(2) R=P.product(Q) R.hasse_diagram()
P = Posets.ChainPoset(3) Q = Posets.ChainPoset(3) R=P.product(Q) R.hasse_diagram()