PanLinx
English
eng-000
partially ordered category
русский
rus-000
частично упорядоченная категория
PanLex