Dolů usměrněná množina