Carefully define a standard normal distribution?

A mathematical definition of a standard normal distribution is given in the related link. A standard normal distribution is a normal distribution with a mean of 0 and a variance of 1.