for X being set
for R being Relation st R is symmetric holds
R .: X = R " X