A relation on a set
is transitive if for all
, when
and
then
. Stated another way, whenever
then
.
If there exists such that
but
then
is not transitive.
A relation on a set
is transitive if for all
, when
and
then
. Stated another way, whenever
then
.
If there exists such that
but
then
is not transitive.