is called a refinement of and are partitions of and .
In that case:
If and are partitions of , then is a refinement of both and .