Downward-closure property