PanLinx
русский
rus-000
полная дистрибутивность
English
eng-000
complete distributivity
PanLex