The diamond product of two ranked posets is the Cartesian product of the posets with their minimal elements removed and a new minimal element adjoined to the product.
i1 : diamondProduct(chain 3, chain 3)
o1 = Relation Matrix: | 1 1 1 1 1 |
| 0 1 1 1 1 |
| 0 0 1 0 1 |
| 0 0 0 1 1 |
| 0 0 0 0 1 |
o1 : Poset
|