 Truncated normal distribution

A truncated normal distribution is a normal distribution conditioned to lie in a specified subset of the real line. Its density is the original Gaussian density divided by the probability of the retained set.