Add rdgss to iset.mm
Add rdgss to iset.mm

This can be thought of as a lemma for proving theorems in the
rdgisuc* family, but perhaps will be more broadly applicable.

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