noemt men in de wiskunde een correspondentie tussen twee verzamelingen, indien aan één element van de eerste verzameling één en niet meer dan één element van de andere verzameling beantwoordt en omgekeerd. In de verzamelingsleer noemt men twee verzamelingen gelijkmachtig, indien een eeneenduidige correspondentie tussen beide mogelijk is en ongelijkmachtig, indien dat niet het geval is.
Voor eindige verzamelingen geldt de eigenschap, dat een deel der verzameling ongelijkmachtig is met het geheel; voor oneindige verzamelingen is dat niet het geval (zie dimensie, gelijkmachtigheid, tellen, transfiniet, transformatie).
