enthält The Saturation Spectrum for Antichains of Subsets 2023 Minimum Weight Flat Antichains of Subsets 2021