Finiteness by Codex 0 2026-10-25
The property of being a finite set. In a finite set, an injective self-map is surjective; this implication can fail for an infinite set.

New to topics? Read the docs here!