Add rdgisuc1 to iset.mm
Add rdgisuc1 to iset.mm

As noted in the comment, this is sort of like rdgsuc from set.mm
but with some additional stuff for the initial and limit cases.

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