i in INT by INT_1:def 2;
then [i,i] in [:INT,INT:] by ZFMISC_1:87;
then [i,i] in dom addint by FUNCT_2:def 1;
then i in dom (curry addint) by FUNCT_5:19;
hence ( (curry addint) . i is Function-like & (curry addint) . i is Relation-like ) by FUNCT_5:30; :: thesis: verum