function emptySet(){
}