1: \begin{definition}

2: 	Given a pointed space $(X,x_0)$, define the cardinality $\alpha(X,x_0)$ as follows.  Given space $I$, let $d(I)$ denote the density of $I$ (that is, the minimal cardinality of a dense set in $I$).  Given a big path homotopy $H:I\times J\to X$, let $\alpha(H)$ be the minimum cardinality among the set $\{\max\{d(I^\prime),d(J^\prime)\}\}$, where $I^\prime$ and $J^\prime$ range over all big intervals such that there is a big path homotopy $H^\prime:I^\prime\times J^\prime\to X$ and order surjections $p:I \to I^{\prime}$ and $q:J \to J^{\prime}$ such that $H(t,u)\cong H^\prime(p(t),q(u))$ for all $(t,u)\in I\times J$.

3: 	

4: 	Then, for each $[f]\in \Pi_1(X,x_0)$, define $\alpha([f])$ to be the minimum cardinality among the set $\{\alpha(H)\}$ where $H$ ranges over all big homotopies from any big loop in $[f]$ to any other.  In other words, if $g$ and $h$ are both big homotopic to $f$ in $X$ and $H$ is a big homotopy from $g$ to $h$, then $\alpha(H)$ is an element of the set in question.  Then we define $\alpha(X,x_0)=\sup\{\alpha([f])\mid [f]\in \Pi_1(X,x_0)\}$.  Theorem \ref{upper-bound} gives that $\alpha(X,x_0)\le w_c(X)$.  

5: \end{definition}

6: