PanLinx
русский
rus-000
с точностью до изоморфизма
English
eng-000
up to isomorphism
PanLex