# Canonical injection of the subspace topology

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
I have documented the canonical injection on the subspace topology page and mentioned its use there, this page however is supposed to contain more information, like two proofs of continuity (one directly, one as a corollary to the characteristic property of the subspace topology

## Definition

The following is temporary:

We claim here it is continuous and elaborate on the note left on that page.

Note it is an example of an inclusion map and some authors will probably call it by that name. [ilmath]\hookrightarrow[/ilmath]s may be used.

## Proofs of continuity

### 1. Directly

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Easy, did on paper, it is easy. Haven't found reference but to be fair I think it goes on unstated

This proof has been marked as an page requiring an easy proof

### 2. As corollary to characteristic property of the subspace topology

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Easy, see page 52, corollary 3.9 in Lee's manifolds if stuck (shouldn't be stuck)

This proof has been marked as an page requiring an easy proof