implies, informally, that if two cardinalities are both less than or equal to each other, then they are equal. [[Sets]].