在邏輯中，如果兩個陳述可以相互推導，則稱它們是等價的。
如果存在從
到
的一一對應（即雙射），則稱兩個集合
和
是等勢的 (Moore 1982, p. 10; Rubin 1967, p. 67; Suppes 1972, p. 91)。
術語 "equipotent" 有時被用來代替 "equipollent"。
等勢
參見
雙射的使用 探索
參考文獻
Moore, G. H. Zermelo's Axiom of Choice: Its Origin, Development, and Influence. New York: Springer-Verlag, 1982.Rubin, J. E. Set Theory for the Mathematician. New York: Holden-Day, 1967.Suppes, P. Axiomatic Set Theory. New York: Dover, 1972.在 中引用
等勢引用為
Weisstein, Eric W. "等勢。" 源自 --一個 Wolfram 網路資源。 https://mathworld.tw/Equipollent.html