PanLinx
English
eng-000
strictly minimal element
русский
rus-000
строго минимальный элемент
PanLex
