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!