Transitiivsus
Transitiivsus on binaarse seose omadus, mis seisneb selles, et kui x on seoses y-ga ja y on omakorda seoses z-ga, siis on ka x seoses z-ga. Järjestusseosed ja ekvivalentsiseosed on definitsiooni järgi transitiivsed.