When used with a function domain will restrict solutions to functions where there is a mapping to every element in the range. When used with a sequence domain, ensures that each element of the domain range is featured at leats once.

See it demonstrated on functions here and on sequences here.