Інтуїтивно можна визначити бієкцію як відповідність, яка асоціює один елемент вхідної множини з одним і тільки одним елементом результуючої множини і навпаки, одному елементу результуючої множини зіставляється один і лише один елемент вхідної множини. Тобто, відображення f: X→Y є бієктивним, коли кожному елементу y з множини Y зіставлений один і лише один елемент x з множини X, і f(x) = y. В теорії множин стверджується, що бієкцію між двома множинами X та Y можна встановити тоді і лише тоді, коли ці множини є рівнопотужними. Приклади