<logic> Two sets are equivalent iff they have the same cardinality, that is, if they can be put into one-to-one correspondence. Also called equinumerous sets. Notation: A =~ B; sometimes A~B.
[Glossary of First-Order Logic]
Try this search on OneLook / Google