Type convert for forcing to sets