Referenced by:

• ucb-catthy-01
• ucb-metamathematics-b-01
• natural-transformations-in-set
• sets-cardinal