§3.2 映射的运算