Alright its pretty late but still, time for largarithmic does cardinality!
Basically we want to come up with an idea for what it means for a set to have "the same size" as another set. Now this is pretty obvious for finite sets: {1,2,3} has the same number of elements as {2,3,4}, for instance...