added in relationship/function section, replaced hb* with nf*. DOES NOT VERIFY YET
added in relationship/function section, replaced hb* with nf*. DOES NOT VERIFY YET

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