Gelijkmachtigheid

In de verzamelingenleer, een deelgebied van de wiskunde, worden twee verzamelingen $A$ en $B$ gelijkmachtig genoemd als zij dezelfde kardinaliteit hebben, dat wil zeggen als er een bijectie $A\to B$ bestaat. Dit wordt meestal aangegeven door

$|A|=|B|$,

of ook wel door

$A\approx B$ of door $A\sim B$

In de categorie van verzamelingen (de categorie van alle verzamelingen met functies als morfismen), is een isomorfisme tussen twee verzamelingen precies een bijectie en zijn twee verzamelingen gelijkmachtig als ze isomorf in deze categorie zijn.

De kardinaliteit van een verzameling wordt door een kardinaalgetal gegeven. Twee gelijkmachtige verzamelingen hebben, omdat zij dezelfde kardinaliteit hebben, hetzelfde kardinaalgetal.