update README with emptyset