等势

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