Definition:Proper Subtower in Set/Historical Note

Historical Note on Proper Subtower in Set

The name proper subtower in set has been specifically coined for $\mathsf{Pr} \infty \mathsf{fWiki}$, and may or may not appear in the literature.