PanLinx
русский
rus-000
структурно упорядоченное произведение
English
eng-000
lattice-ordered product
PanLex
