在逻辑中，如果两个陈述可以相互推导，则称它们是等价的。
如果存在从
到
的一一对应（即双射），则称两个集合
和
是等势的 (Moore 1982, p. 10; Rubin 1967, p. 67; Suppes 1972, p. 91)。
术语 "equipotent" 有时被用来代替 "equipollent"。
等势
参见
双射的使用 Wolfram|Alpha 探索
参考文献
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.在 Wolfram|Alpha 中引用
等势引用为
Weisstein, Eric W. "等势。" 源自 MathWorld--一个 Wolfram 网络资源。 https://mathworld.net.cn/Equipollent.html