finite sets tidyings