Test for EMPTYSET