Equinumerosity (source code)

= Equinumerosity
{title2=$|A|=|B|$}

= Equinumerous
{synonym}

Two sets are equinumerous when a <bijection> exists between them. This is equality of their <cardinalities>.