2.1 域与笛卡儿积