Personally, I think it makes perfect sense.

Take two sets A and B. If we can assign every element in A to a different one in B, we say that |A|≤|B|.

Makes perfect sense for normal, finite sets, right? As it happens, this definition extends to infinite sets as well.