Closure operations on binary relations.