Sahithyan's S1 — Mathematics
Refinements
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 .
component. -->
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 .