Set is a PiW-pretopos