Downward sets and their separation and approximation properties

- Martinez-Legaz, Juan, Rubinov, Alex, Singer, Ivan