:: deftheorem defines trapezoidal FUZNUM_1:def 10 :
for F being FuzzySet of REAL holds
( F is trapezoidal iff ex a, b, c, d being Real st F = TrapezoidalFS (a,b,c,d) );