Ако помеѓу две множества A и B се воспостави пресли­кување со кое на секој елемент од множество A му се придружи елемент од множеството B, и обратно, на секој елемент од множеството B му се придружи елемент од мно­жеството A, тогаш помеѓу двете множества постои взаемно еднозначно пресликување кое се нарекува биекција. Множествата за кои постои биекција се нарекуваат еквивалентни множества и се означуваат со A~B и за нив се вели дека имаат ист кардинален број или иста моќ.