Downward closed

closure

Free Online Dictionary of Computing