Category:G-Ordered Classes

This category contains results about $g$-ordered classes.

Let $A$ be a class.

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

$(1)$	$:$	the smallest element of $A$ is $\O$
$(2)$	$:$	every immediate successor $y$ is $\map g x$, where $x$ is the immediate predecessor of $y$
$(3)$	$:$	every limit element $x$ of $A$ is the union of the set of all predecessor elements of $x$

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

Pages in category "G-Ordered Classes"

The following 2 pages are in this category, out of 2 total.