In predicate and first-order logic, if $\phi$ is a sentence, then $\forall X . \phi$ is said to be the (universal) closure of $\phi$. Is the use of the word "closure" incidental, or is there a connection with closure as meant in topology, or in lattice theory, or whatever? In the latter case, what is the exact connection?