:: deftheorem Def5 defines symmetric RLTOPSP1:def 5 :
for X being non empty RLSStruct
for A being Subset of X holds
( A is symmetric iff A = - A );