i1 : G = {a,b,c,d};
i2 : R = {(a,b), (a,c), (c,d)};
i3 : P = poset (G,R);
i4 : F = filter (P,d) o4 = {a, c, d} o4 : List