[sth; of sth
The continuum Y is tree-like since it admits a map onto X.
This inequality admits of a simple interpretation.