deletion implemented for sets