Transitiva rilato

From Wikipedia, the free encyclopedia

Transitiva rilato estas rilato tiel ke se ĝi estas por orda duopo kaj por duopo , ĝi estas por duopo ankaŭ.

Duparta rilato oni nomas transitiva, tiam:

.