PanLinx
русский
rus-000
эквационально определимый
English
eng-000
equationally definable
PanLex