离散数学--5.1-2函数