PanLinx
English
eng-000
orderable set
русский
rus-000
упорядочиваемое множество
PanLex