A set family is shifted if every elementary set shift leaves it unchanged. For a uniform set family, this is equivalent to downward closure under componentwise comparison of the increasing lists of its elements. Repeated elementary set shifts terminate at a shifted set family.
New to topics? Read the docs here!