Universal closure
Home
Wiki
Redirect to:
Universal quantification#Universal closure