subcategory,supercategory,kind Bij,Set,core Hilbâ‚€,Hilb,core Perm,FinSet,core SymmRel,Rel,core