Formally, the construction is as follows (Halmos 1974, §21-22).
正式地，此构造如下（Halmos 1974，§21-22）。