Remark

In the second approach, is not used. Its role is played by the empty family of update sets. This gives us an idea to eliminate the use of in the first approach: replace Updates(R', S', ) with the singleton family {Updates(R', S', )} and replace with the empty family.