Elementary set shift

ID: elementary-set-shift

For , replace a member containing but not by only when the replacement is absent. An elementary set shift preserves family size and the intersecting family property. The inclusion shows that it cannot increase the lower shadow.

New to topics? Read the docs here!