theorem :: FUNCT_4:82

for x, y being object holds x .--> y = {[x,y]} by ZFMISC_1:29;