Definition:Transitive-Closed Class/Linguistic Note

From ProofWiki
Jump to navigation Jump to search


The term Transitive-Closed Class was invented by $\mathsf{Pr} \infty \mathsf{fWiki}$.

As such, it is not generally expected to be seen in this context outside $\mathsf{Pr} \infty \mathsf{fWiki}$.

The concept appears to have been coined by Raymond M. Smullyan and Melvin Fitting under the name $T$-closed class in their Set Theory and the Continuum Problem, revised ed. of $2010$ for the purpose of an exercise.

It is referred to on $\mathsf{Pr} \infty \mathsf{fWiki}$ as a transitive-closed class in order to improve clarity and transparency.