Raffinement

Bonjour

Dans les exemples de relations d'ordre de mon cours, il y a : l'inégalité usuelle sur $\mathbb N, \mathbb Z,\mathbb Q,\mathbb R$, la relation duale d'une relation d'ordre donnée (par exemple $\geq$ sur $\mathbb R$ est duale de $\leq$), l'inclusion entre ensembles, la divisibilité dans $\mathbb N^{*}$. Mais il y en a un je ne sais pas ce que c'est. On dit juste "le raffinement des partitions d'ensemble". Cela correspond à quoi ? Je sais ce qu'est une partition.