см. 512.536.7 Топологические полугруппы
см. 512.546 Топологические группы
см. 512.556 Общая теория топологических колец и модулей
см. 512.562 Частично упорядоченные множества
см. 512.563 Булевы кольца и алгебры