ekvivalenčiosios aibės

ekvivaleñčiosios áibės, dvi aibės vadinamos ekvivalenčiosiomis, jei tarp jų egzistuoja abipusiškai vienareikšmė atitiktis. Aibių A ir B ekvivalentumas žymimas A ~ B. Pvz., kiekvienam visų natūraliųjų skaičių aibės N = {1, 2, 3, …} elementui n galima priskirti visų lyginių natūraliųjų skaičių aibės L = {2, 4, 6, …} elementą 2n, todėl N ~ L. Baigtinės aibės yra ekvivalenčiosios tada ir tik tada, kai jos turi po lygiai elementų. Jeigu A ~ B, B ~ C, tai A ~ C. Kai aibės yra ekvivalenčios, sakoma, kad jos yra vienodos galios (aibės galia).