{} is a_partition of {}