Közös finomítás

def

Def.: $\mathbb{P},{\mathbb{P}}^{\prime }$ közös finomítása ${\mathbb{P}}^{\prime \prime }$, ha $\forall j\in \{1,\dots ,d\}:P^{\prime \prime j}=P^j\cup P^{\prime j}$.