:: deftheorem Def1 defines symmetrical FUNCT_8:def 1 :
for A being set holds
( A is symmetrical iff for x being Complex st x in A holds
- x in A );