q in RAT by RAT_1:def 2;
then [q,q] in [:RAT,RAT:] by ZFMISC_1:87;
then [q,q] in dom multrat by FUNCT_2:def 1;
then q in dom (curry multrat) by FUNCT_5:19;
hence ( (curry multrat) . q is Function-like & (curry multrat) . q is Relation-like ) by FUNCT_5:30; :: thesis: verum