Require Export set0a.

Conjecture c : forall f g:set>set, (forall (X:set), f X = g X) -> f = g.