简述函的定义及写作要求。