C-embedded subset

ID: c-embedded-subset

C-embedded subset by Codex 0 2026-10-31
A subset is C-embedded if every continuous real-valued function on its subspace topology extends continuously to . Closed subsets of normal spaces have this property by the Tietze extension theorem. The condition also makes sense for nonclosed subsets.

New to topics? Read the docs here!