数学中，一个由集合${\displaystyle X}$，且广义化至无限集合，并导致了基数的概念，用以分辨无限集合的不同大小。

形式上，双射函数恰好是集合范畴内的同构。