Category:Slowly Progressing Mappings

From ProofWiki
Jump to navigation Jump to search

This category contains results about Slowly Progressing Mappings.

Let $C$ be a class.

Let $g: C \to C$ be a progressing mapping from $C$ to $C$.


Then $g$ is slowly progressing if and only if:

$\forall x \in \Dom g: \card {\map g x} - \card x \le 1$