В общем, погуглила я, почитала литературу. Если кому интересно, у Петерсон есть такие задания в самостоятельных и контрольных работах. Df - это, видимо, definition, что переводится как "определение" с латинского. Def, а не Df пишется над знаком равенства  или над знаком соответствия и означает "по определению". Что такое Dj учебник умалчивает и гугл тоже, видимо, опечатка и во втором задании так же Df, точнее def. Спасибо модераторам, за то, что избавили от неадеквата в теме.