• [first, last) is a valid range. • n is nonnegative. • [first, last) and [out, out + n) do not overlap. • There is enough space to hold all of the elements being copied. More formally, the requirement is that [out, out + min(n, last – first)) is a valid range. • last – first is less than rand 's maximum value.Preconditions