f . (a,b,c) = f . [a,b,c] by MULTOP_1:def 1;
hence ( f . (a,b,c) is Relation-like & f . (a,b,c) is Function-like ) ; :: thesis: verum