Рівнопотужні множини

 

Множини А та В називаються рівнопотужними (еквівалентними), якщо існує взаємно однозначне відображення А на В.

Наприклад, множини А={a,b,c} та В={1,2,3} рівнопотужні, оскільки існує взаємно одназначна відповідність між А та В. Дійсно, відношення F={<a,1>,<b,2>, <c,3>} є взаємно однозначним відображенням А на В. Рівнопотужними є множини N та N+. Дійсно функція f(n)=n+1 визначає взаємно однозначну відповідність між N та N+. Множини {1,2} та {1,2,3} не рівнопотужні, тому що будь-яке відображення першої множини у другу не є сюр’єктивним.

Зауважимо, що рівні множини є рівнопотужними, але рівнопотужні множини не обов’язково рівні.