Intuitionize dfun2 in iset.mm
Intuitionize dfun2 in iset.mm

Change it from equality to subset and rename to unssdif.
The proof is roughly the same except con2bii changes to con2i.

Remove comments about defining union, intersection, and subset
in terms of class difference.

metamath/set.mm,metamath/set.mm,metamath/set.mm