theorem :: LFUZZY_1:14

for X being non empty set
for r being Relation of X st r is symmetric holds
chi (r,[:X,X:]) is symmetric