，那么它们之间存在一个双射 formula_1。这通常指示为两个有限集是等势的，当且仅当它们的元素个数相等。例如，势的研究中经常叫做等势性(equinumerosity)。有时还使用术语 equipotent 或 equipollent。在集合范畴中，带有函数作为态射的所有集合的范畴，在两个集合之间的同构正好是一个双射，而两个集合正好是等势的，如果它们在这个范畴中是同构的。