A Cartesian product of posets is a poset.