Extra pedantic mode: if the population is an odd number, the number of below average intelligence will not equal the number of above average intelligence.
You're right that if the set is of {99,100,101} then of course 100 falls into neither category and each category has cardinality 1, but we're talking about real-valued variables, so I don't think that's a worry. I imagine it happens 'almost never' (except where n=1).
Extra pedantic mode: if the population is an odd number, the number of below average intelligence will not equal the number of above average intelligence.
[0] https://en.wikipedia.org/wiki/Symmetric_probability_distribu...