When used with a function or sequence domain will restrict solutions that are both injective and surjective.

This means that every element of the defined set has a unique mapping to a range element and every range element has a defined element that maps to it.

See it demonstrated on functions here and on sequences here.