The induced subposet Q on ground set L of a poset P has a partial order induced by the partial order on P.
i1 : C = chain 7; |
i2 : subposet(C, {2,3,5,6}) o2 = Relation Matrix: | 1 1 1 1 | | 0 1 1 1 | | 0 0 1 1 | | 0 0 0 1 | o2 : Poset |