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