파일:Lattice_of_partitions_of_an_order_4_set_redundant.svg