Definition of finite set

A set is finite if every injective (resp. surjective) self-map is surjective (resp. injective).