P235: manifold interior/boundary points

Author: prabau

properties/P000235.md

@@ -19,8 +19,8 @@ $\mathbb R^0_+$ is an isolated point.
 
 An equivalent condition for non-isolated points $p\in X$ is that
 one of the following holds:
-- $p$ has a neighborhood homeomorphic to $\mathbb R^n;$
-- $p$ has a neighborhood homeomorphic to $\mathbb R^n_+$
+- (*"manifold interior" point*) $p$ has a neighborhood homeomorphic to $\mathbb R^n;$
+- (*"manifold boundary" point*) $p$ has a neighborhood homeomorphic to $\mathbb R^n_+$
 with $p$ mapped to a point of $\partial\mathbb R^n_+:=\{x\in\mathbb R^n: x_n=0\}$.
 
 *Note*: In all the above, one can equivalently require the neighborhoods to be open.