upward closure

upward closure

Mentioned in ?