Go backward to
Example
Go up to
Top
Go forward to
Transitive Closure
Exponentiation of Relations
Definition:
R
0
S
:= {<
x
,
x
>:
x
in
S
}
R
i
+1
S
:=
R
i
S
o
R
.
R
S
0
is the identity relation.
R
S
1
is
R
.
R
S
3
=
R
o
R
o
R
.
Repeated composition of relation.
Author:
Wolfgang Schreiner
Last Modification: January 26, 2000