:: deftheorem defines triangular-valued NUMBER06:def 8 :
for f being Function holds
( f is triangular-valued iff for n being object holds f . n is triangular );