PanLinx
русский
rus-000
ограниченно полное семейство
English
eng-000
boundedly complete family
PanLex
