for every ''x'' in ''X'', then ''X'' is said to be '''continuously embedded''' in ''Y''. Some authors use the hooked arrow “↪↪” to denote a continuous embedding, i.e. “''X'' ↪↪ ''Y''” means “''X'' and ''Y'' are normed spaces with ''X'' continuously embedded in ''Y''”. This is a consistent use of notation from the point of view of the [[category of topological vector spaces]], in which the [[morphism]]s (“arrows”) are the [[continuous linear map]]s.
