:: deftheorem defines triangular FUZNUM_1:def 9 :
for F being FuzzySet of REAL holds
( F is triangular iff ex a, b, c being Real st F = TriangularFS (a,b,c) );