Transitiivsus on binaarse suhte R omadus kogumis, mis tähendab järgmist: kui element A on seotud elemendiga B ja element B on seotud elemendiga C, siis on element A kohustuslikult seotud elemendiga C.

Vormiliselt: kõigi A, B, C puhul, kui (A R B) ja (B R C), siis (A R C).

Näide: "olla vanem kui" suhe on transitiivne. Kui Alice on vanem kui Beto ja Beto on vanem kui Cati, siis Alice on vanem kui Cati.

Programmeerimises ja koguteoorias on transitiivsus oluline elementide järjekorra ja ühenduste mõistmiseks.

Eelmine Edasi