Sorted Systems