# Tag Info

The theorem should state that the separative quotient of $B_{0}/{\sim}$ is isomorphic to $B_{\kappa}^+$. Proof. Recall that the separative quotient of a poset $P$ is the unique (up to isomorphism) ...