subcategory,supercategory,kind
FinSet,Set,full