Closure operators are abundant in mathematics; here are a few examples. Given an algebraic structure, such as group, ring, field, lattice, vector space, etc., taking the substructure generated by a set, i.e., the least substructure which includes that set, is a closure operator. Given a binary relation, taking the relation with certain properties, such as reflexive, transitive, equivalence, etc...