Realcompactification of frames
We give a construction of Wallman-type realcompactifications of a frame by considering regular sub -frames the join of which generates . In particular, we show that the largest such regular sub -frame gives rise to the universal realcompactification of .