for FT being non empty RelStr
for X being non empty SubSpace of FT st FT is symmetric holds
X is symmetric