:: deftheorem defines MembershipDecision DIST_2:def 7 :
for S being set
for SS being Subset of S holds MembershipDecision SS = chi (SS,S);