Definition:G-Ordered Class

Definition
Let $A$ be a class.

Let $g$ be a progressing mapping.

Let $A$ be well-ordered by the subset relation such that:

Then $A$ is said to be $g$-ordered.