PanLinx
English
eng-000
inductive set
русский
rus-000
индуктивное множество
PanLex