指二集合元素之间有一对一关系的对应。