![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
The transitive closure of a binary Relation on a Set
is the minimal Transitive relation
on
that contains
. Thus
for any elements
and
of
provided that there exist
,
, ...,
with
,
, and
for all
.
See also Reflexive Closure, Transitive Reduction