 Point of a frame

A point is a frame homomorphism to the two-element frame $2=\{0<1\}$. Its inverse image of $1$ is a completely prime filter: membership of an arbitrary join forces membership of one term. The point space $P(A)$ has opens $U_a=\{p:p(a)=1\}$. Indeed $U_{a\wedge b}=U_a\cap U_b$ and $U_{{\bigvee }_i{a}_i}={\bigcup }_i{U}_{a_i}$, so these sets already form a topology.