任意の2つの要素が，ただ1つの上限とただ1つの下限を持つ半順序集合を束という
2つの束の直積は束かどうか確かめよ

直積かどうか，どのように証明すればいいか，全然わかりませんでした
よろしくお願いします