En slik egenskap tillater sammenlikning av hvor mange elementer som er inneholdt i to eller flere mengder uten behov for en mellommengde (dvs. de naturlige tall).