Relazione transitiva: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
SilvonenBot (discussione | contributi)
Nessun oggetto della modifica
Riga 2:
In [[matematica]], una [[relazione binaria]] ''R'' in un [[insieme]] ''X'' è '''transitiva''' [[se e solo se]] per ogni ''a'', ''b'', ''c'' appartenenti ad ''X'' se ''a'' è in relazione con ''b'' e ''b'' è in relazione con ''c'' allora ''a'' è in relazione con ''c''. In simboli:
 
:<math>\forall a, b, c \in X,\ a R b \and b R c \; \RightarrowLeftrightarrow a R c</math>
 
Ad esempio, "è maggiore di" e "è uguale a" sono relazioni transitive: se ''a''&nbsp;=&nbsp;''b'' e ''b''&nbsp;=&nbsp;''c'', allora ''a''&nbsp;=&nbsp;''c''.