closure finds the closure of a set under a function.
Standard characterization of closure pair(s, f)
The term closure x is a characteristic function.
Standard characterization of closure reformulated using projections instead of pairing