Unlike Set and FinSet, FinOrd is a small category.
Set や FinSet と異なり、FinOrd は小さい圏となる。