upward closure

See closure.