Closure operators can be defined more generally on partially ordered sets; this is particularly relevant for theoretical computer science.
Closure operators can be defined more generally on partially ordered sets. This is particularly relevant for theoretical computer science.