Add empty set through eq0rdv to iset.mm
Add empty set through eq0rdv to iset.mm

This is the constant and theorems from df-nul through eq0rdv .
Follow up changes will be needed to get them to verify.

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