(1)  S =   S   +   ∪ S   -