§ Functors to motivate adjuntions

G(F((A, a)))
= let x = remove A a in G(x)
= let x = remove A a;
      botnew = set([x]) in insert x botnew
-- | adds the set (A - a) as an element of (A - a)
= insert (remove A a) (remove A a)

Thus, we should come up with a weaker notion of equality : Adjoints!