તમામ ઘટકોના સમૂહના અસ્તિત્વને ધારીને બદલે, જે કોઈ અપવાદ વગર, દરેક પહેલેથી જ અસ્તિત્વમાં છે તે માટે, ચોક્કસ શરતને સંતોષવા, સૉર્ટિંગ એ મૂળ સેટમાં તમામ ઘટકોના સબસેટનું અસ્તિત્વ સૂચવે છે જે શરતને સંતોષે છે.