theorem Th10: :: TOLER_1:10

for X, Y, Z being set
for R being Relation of X,Y st R is symmetric holds
R |_2 Z is symmetric