Ordinary closure is called finite closure. There is also infinite closure. The definition of a topological space mentions infinite closure. Open spaces have (finite) closure of intersection. Open sets have infinite closure of union. That is, in mathematical notation, if A, and A and ... A ... are open sets, then B and C are open sets: