PanLinx
русский
rus-000
несвязное объединение
English
eng-000
disjoint union
PanLex
