i1 : P = poset {{1,2},{1,3},{1,4}};
i2 : adjoinMax(P, 100) o2 = Relation Matrix: | 1 1 1 1 1 | | 0 1 0 0 1 | | 0 0 1 0 1 | | 0 0 0 1 1 | | 0 0 0 0 1 | o2 : Poset