Если P и S симметричны, то P÷S симметрично.
÷ - это симметрическая разность, т.е. P÷S = (P\S) U (S\P)