domain是定义域,range是值域（是co-domain的子集）.co-domain好像是翻译成“对应域”