for X being RealLinearSpace
for A being symmetric Subset of X
for x being Point of X st x in A holds
- x in A