The subobject classifier in FinSet and FinOrd is the same as in Set.
FinSet および FinOrd の分類子（英語版）は Set におけると同一である。