Synapses query...

Hi,

I understand that when acetylcholine binds to Sodium ion protein channels on the postsynaptic membrane of a synapse, this causes the Na⁺ channels to open and Sodium ions are transported through via facilitated diffusion. Where do these Sodium ions come from? Are they just occupying the space in the synaptic cleft or is there another reason?

Thanks!