Skip to content

Refinements

is called a refinement of if and are partitions of and .

When is a refinement of :