Apply suggestions from code review

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

Author: yhx-12243

properties/P000227.md

@@ -9,8 +9,9 @@ $X$ has a discrete closed subset of cardinality $\mathfrak c=2^{\aleph_0}$.
 
 *Note*: This property implies $e(X)\ge\mathfrak c$,
 where the *extent* $e(X)$ is the supremum of the cardinality of discrete closed subsets in $X$.
-But there are spaces with $e(X)=\mathfrak c$ and without discrete closed subset of cardinality $\mathfrak c$,
-i.e., where the supremum is not attained, under certain set-theoretical assumptions.
+But, under certain set-theoretic assumptions (for example, if $\mathfrak c=\aleph_{\omega_1}$),
+there are spaces with $e(X)=\mathfrak c$ and without discrete closed subset of cardinality $\mathfrak c$,
+i.e., where the supremum is not attained.
 
 Compare with these properties, where $D$ denotes a discrete closed subset in $X$:
 - {P107} $(\exists D: |D|=1)$

spaces/S000009/properties/P000227.md

@@ -4,4 +4,4 @@ property: P000227
 value: true
 ---
 
-Let $p$ be the particular point. $X\setminus\{p\}$ is an closed and discrete subspace of cardinality $\mathfrak c$.
+Let $p$ be the particular point. $X\setminus\{p\}$ is a closed and discrete subspace of cardinality $\mathfrak c$.