These four subsets will here be denoted 'categories'.