Halliday & Matthiessen (2014: 263):
Identifying clauses are also used to construe ‘exhaustive’ class membership where a class is identified with its members, as in: The fuels of the body are carbohydrates, fats and proteins.