This allows two spaces to be distinguished if one is able to be embedded into a space while the other is not.
Мы можем различить два пространства, если одно из них можно вложить в formula_2, а другое нельзя.