在数学领域中，两个集合是等势的（英语：equinumerous）意为它们之间存在一个双射。这种性质经常叫做等势性(equinumerosity)。英文中也会用术语 equipotent 或 equipollent 来表示等势。
定义 — 
和 
是二集合，若 
满足
![{\displaystyle (\forall a\in A)(\exists !b)\{(b\in B)\wedge [(a,\,b)\in f]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7a503bc918aace6d58cd1487df928126c63fc4c)
（ 是 和 间的函数）![{\displaystyle (\forall b\in B)(\exists a\in A)[(a,\,b)\in f]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1749feb76b7b0bfff5d7ed6ad2145de30daa0fa)
（每个 
都可以用 的规则对到某 
）![{\displaystyle (\forall a_{1}\in A)(\forall a_{2}\in A)(\forall b\in B)\{[(a_{1},\,b),\,(a_{2},\,b)\in f]\Rightarrow (a_{1}=a_{2})\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38bf15e35656c788132da53c795ea777df7f0d9d)
（
都对到 则两者相等 ）
此时用以下符号简记：
更进一步的，可以定义：
![{\displaystyle A\cong B:=(\exists f)\left[A\,{\overset {f}{\cong }}\,B\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1317287a1d7b388d169b08fdab5f1659508f881f)
并可简称为 和 是等势的。
直观上来说，就是任意 都可以透过函数 的规则，被唯一的一个 对应。而所谓的等势，就是 和 间存在这样的一对一且不遗漏的对应关系。
设
是全体偶数的集合，那么，它与自然数集
是等势的；
有理数
与自然数 是等势的（所有有理数与自然数是“一样多”的）；
然而，无理数
与自然数 或有理数 都不等势（无理数比有理数“个数多”）。
在集合范畴中，带有函数作为态射的所有集合的范畴，在两个集合之间的同构正好是一个双射，而两个集合正好是等势的，如果它们在这个范畴中是同构的。
