subcategory,supercategory
Inj,Set
Pfn,Rel
Surj,Set