theorem Th3: :: UNIFORM2:3

for X being set
for R, S being Relation of X holds R * S = { [x,y] where x, y is Element of X : ex z being Element of X st
( [x,z] in R & [z,y] in S ) }