PanLinx
русский
rus-000
топология открытых интервалов
English
eng-000
open-interval topology
PanLex