Felosztás finomítása

def

Def.: $\mathbb{P},{\mathbb{P}}^{\prime }$ felosztásai $Q$-nak.
$\mathbb{P}=\left(P^1,\dots ,P^d\right)$
${\mathbb{P}}^{\prime }=\left(P^{\prime 1},\dots ,P^{\prime d}\right)$

Ekkor ${\mathbb{P}}^{\prime }$ finomítása $\mathbb{P}$-nek, ha $\forall j\in \{1,\dots ,d\}$-re $P^{\prime j}$ finomítása $P^j$-nek.