PanLinx
русский
rus-000
конечно дистрибутивный
English
eng-000
finitely distributive
PanLex