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 | previous | next | detailed contents | brief contents