在數學領域中，兩個集合是等勢的（英語：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)
並可簡稱為 和 是等勢的。
直觀上來說，就是任意 都可以透過函數 的規則，被唯一的一個 對應。而所謂的等勢，就是 和 間存在這樣的一對一且不遺漏的對應關係。
設
是全體偶數的集合，那麼，它與自然數集
是等勢的；
有理數
與自然數 是等勢的（所有有理數與自然數是「一樣多」的）；
然而，無理數
與自然數 或有理數 都不等勢（無理數比有理數「個數多」）。
在集合範疇中，帶有函數作為態射的所有集合的範疇，在兩個集合之間的同構正好是一個雙射，而兩個集合正好是等勢的，如果它們在這個範疇中是同構的。
