Category: Sorting and inclusion