PanLinx
русский
rus-000
база замкнутых множеств
English
eng-000
base of closed sets
PanLex