:: deftheorem defines -cut FUZNUM_1:def 3 :
for C being non empty set
for F being FuzzySet of C
for alpha being Real holds alpha -cut F = { x where x is Element of C : F . x >= alpha } ;