Add nfsb4or to iset.mm
Add nfsb4or to iset.mm

This is an analogue to hbsb4 but stronger in that it is stated
with a disjunction rather than with negation and implication.

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