:: deftheorem Def1 defines Membership_Funcs FUZZY_5:def 1 :
for X being non empty set
for b₂ being set holds
( b₂ = Membership_Funcs X iff for f being object holds
( f in b₂ iff f is Membership_Func of X ) );