Relazion transitiva

Modell:MILCLASS Modell:Sbozz Ona relazion transitiva a l'è 'na relazion indova che se $a$ l'è in relazion cont $b$ e $b$ l'è in relazion cont $c$ anca $a$ a l'è in relazion cont $c$, cioè :$\mathrm{\forall }a,b,c\in X,aRb\wedge bRc\Rightarrow aRc$.

On esempi de relazion transitiva a l'è "l'è istess de", degià che se a = b e b = c anca a = c. L'istess el var per "l'è maggior de" o per "l'è fredell de", degià che se 'l Gaitan a l'è fredell de l'Ambroeus e l'Ambroeus a l'è fredell del Toni el Gaitan a l'è fredell del Toni.

Riferiment

• Relazioni transitive