:: deftheorem defines . MULTOP_1:def 1 :
for f being Function
for a, b, c being object holds f . (a,b,c) = f . [a,b,c];