Full Subcategory: FinSet ⊊ Set

FinSet is a full subcategory of Set. When any two sets of Set are finite sets in FinSet, all maps between them are finite maps in FinSet too. Put another way, FinSet has only some of the objects of Set, but all of the arrows.

In terms of stuff, structure, and properties, finite sets are like sets but with extra properties.

full_subcategories: FinSet, Set

This data as json