4.5.3 笛卡儿闭和对象算术