refined base tests, Set union and intersection methods.