En sortering innenfor et slag er en type som inneholder flere andre typer. For eksempel kan en sortering utføres på en liste over produkter, og deretter kan en sortering av den typen utføres på produsentene av disse produktene.

Programvarebetingelser, Sorter