If Y ⊆ X, then f: X→Y may compose with itself; this is sometimes denoted as f 2.
如果 Y ⊆ X，则 f: X→Y 有可能可以与自身复合；这有时候记作 f 2。