PanLinx
русский
rus-000
линейно упорядоченная область
English
eng-000
fully ordered domain
PanLex
