PanLinx
русский
rus-000
эквационально полная совокупность
English
eng-000
equationally complete collection
PanLex