Relation sérielle

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

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 ${\displaystyle w_{1}}$ est appliquée à au moins un monde possible accessible ${\displaystyle w_{2}}$ dans lequel P est vraie, ce qui implique la possibilité de P dans ${\displaystyle w_{1}}$. L'axiome ${\displaystyle \Box P\rightarrow \Diamond P}$ est donc valide dans les cadres où la relation d'accessibilité est sérielle.

• Portail de la logique
• Portail des mathématiques