Closure

Closure is a relation