And Savy, your apples example would product two sets that have cardinality and are therefore considered the same size anyway.