Definition:Strictly Progressing Mapping/Definition 2

Definition
Let $g$ be a class mapping.

$g$ is a strictly progressing mapping :
 * $g$ is a progressing mapping which has no fixed point.

Also see

 * Equivalence of Definitions of Strictly Progressing Mappings