i1 : P = chain 5;
i2 : l = hashTable { 1 => a, 2 => b, 3 => c, 4 => d, 5 => e};
i3 : Q = labelPoset(P, l);
i4 : P.GroundSet o4 = {1, 2, 3, 4, 5} o4 : List
i5 : Q.GroundSet o5 = {a, b, c, d, e} o5 : List
i6 : P == Q o6 = true