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