Category:Transitive-Closed Classes

From ProofWiki
Jump to navigation Jump to search

This category contains results about Transitive-Closed Classes.

Let $K$ be a class

Then $K$ is transitive-closed if and only if:

every transitive subset of $K$ is an element of $K$.

Pages in category "Transitive-Closed Classes"

This category contains only the following page.