Відношення S n (\\ displaystyle S_ (n) ) є рефлексивним, оскільки порожня послідовність правильних замін приймає u.
Виправте зв'язність речення: відношення S n (\\ displaystyle S_ (n) ) є рефлексивним. Порожня послідовність правильних свопів приймає u.