Um conjunto finito A pode ser caracterizado pela afirmação: toda aplicação f: A → A sobrejetiva é uma bijeção.
