Formal definition: Provided enough samples are taken, the sample distribution of the sample mean will be normally distributed, regardless of the population. Basically:
With enough samples this also happens:
Which ultimately allows us to calculate the Z-score:
And using a Z-table, this allows us to find the probability of a value being <= x
Here is an example of how it can be used!