第四章 二元关系和函数 4.6 函数的定义和性质