PanLinx: частично упорядоченное множество

русский	rus-000
частично упорядоченное множество

English	eng-000	partially ordered set
English	eng-000	poset

PanLex-PanLinx