Изменения

** Использовать словесное обозначение логических операций ('''and''', '''or''', '''xor''', '''not''' вместо &&, ||, !)

*** Вместо побитового '''xor'''-а ^ (крышечка) лучше писать <tex> \oplus </tex> (ниже о том, зачем это нужно)

*** Можно переставлять логические операции для повышения читаемости: element '''not in''' set

*** Проверку типов и приведение к типу (если вдруг понадобится) писать как '''is''' и '''as'''

** Теоретико-множественные операции: <tex> \cap \cup \subset \subseteq \triangle \setminus</tex>

** Возведение в степень в псевдокоде не писать через ^ (путается с '''xor'''). Лучше использовать ** или tex.