Standard characterization of closure reformulated using projections instead of pairing

The closure contains the set.

The closure is closed under the function.

The closure is the smallest such set.

up show outline