Shifted set family
= Shifted set family
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>.