i1 : P = poset ({a,b,c,d,e,f}, {(a,d),(d,f),(b,d),(b,e),(c,e),(e,f)});
i2 : posetJoin (P, a,b) o2 = {d} o2 : List