I'm reviewing the very basics of discrete-choice models (binary choice, multinomial, tobit, etc.), and I seem to have taken for granted that latent variable models are just one (very convenient and intuitive) way of formulating discrete choice models. The "General Binary Outcome Model" as given by Cameron and Trivedi (2005) is
\begin{align*} y_i &= \begin{cases} 1 & \text{with probability }p_i \\ 0 & \text{with probability }1-p_i\end{cases}\\ p_i &= \Pr[y_i=1\mid \mathbf x] = F(\mathbf x_i'\boldsymbol\beta) \end{align*} for "some specified function" $F$, a vector of parameters $\boldsymbol\beta$, and regressors $\mathbf x$ . The authors go onto say "is is natural to specify $F(\cdot)$ to be a cumulative distribution function" such that $p_i\in[0,1]$. In practice, this isn't a strict requirement, because the linear probability model (LPM) arises from the function $F(\mathbf x_i'\boldsymbol\beta)=\mathbf x_i'\boldsymbol\beta$, but in this case would the probability instead be given as
$$ p_i = \max\{0, \min\{1,F(\mathbf x_i'\boldsymbol\beta)\}\}$$ to ensure the probability is in fact well defined? This is very pedantic, but I want to ensure I have a firm grasp on the appropriate DGP here.