Closed and Logical Relations for Over- and Under-Approximation of Powersets