for C being non empty set
for F being FuzzySet of C
for alpha being Real holds alpha -cut F = F " [.alpha,1.]