设有两个集合,若存在一一对应的关系,则称这两个集合等势