{"subcategory": "Inj", "supercategory": "Set", "kind": "essentially wide"}
{"subcategory": "Pfn", "supercategory": "Rel", "kind": "essentially wide"}
{"subcategory": "Surj", "supercategory": "Set", "kind": "essentially wide"}