Relation sérielle

En mathématiques, une relation binaire sur E est dite sérielle si chaque élément de E est en relation avec au moins un élément de E.

Formellement, la propriété de sérialité pour une relation

$ℛ$

définie sur un ensemble

$E$

s'écrit de la façon suivante :

$\mathrm{\forall }x\in E,\mathrm{\exists }y\in Exℛy$.

Exemples

• La relation de divisibilité sur les entiers strictement positifs est sérielle puisque $\mathrm{\forall }x\in {\mathbb{N}}^{*}x|x$ ;
• La relation d'ordre strict « est strictement inférieur à » sur $\mathbb{N}$ est sérielle puisque $\mathrm{\forall }x\in \mathbb{N}x<x+1$ ;
• La relation « est strictement supérieur à » n'est pas sérielle sur $\mathbb{N}$ car $\mathrm{\forall }x\in \mathbb{N}\mathrm{\neg }(0>x)$ ;
• Les relations réflexives ou totales sont nécessairement sérielles.

En logique modale

La propriété de sérialité est utilisée en logique modale pour définir les cadres dans lesquels l'axiome (D) est valide. En effet, si la relation d'accessibilité sur les mondes possibles est sérielle, alors la nécessité de P dans le monde $w_1$ est appliquée à au moins un monde possible accessible $w_2$ dans lequel P est vraie, ce qui implique la possibilité de P dans $w_1$. L'axiome $◻P\to ◊P$ est donc valide dans les cadres où la relation d'accessibilité est sérielle.